public class Alldiff extends Alldifferent
Modifier and Type | Field and Description |
---|---|
protected IntVar[] |
listAlldiff |
static String[] |
xmlAttributes
It specifies the arguments required to be saved by an XML format as well as
the constructor being called to recreate an object from an XML format.
|
grounded, list, positionMapping
atomicExecution, consistencyPruningEvents, earlyTerminationOK, id, increaseWeight, numberArgs, numberId, trace
queueIndex
Constructor and Description |
---|
Alldiff(ArrayList<? extends IntVar> variables)
It constructs the alldiff constraint for the supplied variable.
|
Alldiff(IntVar[] variables)
It constructs the alldiff constraint for the supplied variable.
|
Modifier and Type | Method and Description |
---|---|
void |
consistency(Store store)
It is a (most probably incomplete) consistency function which removes the
values from variables domains.
|
int |
getConsistencyPruningEvent(Var var)
It retrieves the pruning event which causes reevaluation of the
constraint.
|
void |
impose(Store store)
It imposes the constraint in a given store.
|
String |
toString()
It produces a string representation of a constraint state.
|
arguments, increaseWeight, queueVariable, removeConstraint, satisfied
cleanAfterFailure, decompose, getGuideConstraint, getGuideValue, getGuideVariable, id, impose, imposeDecomposition, numberArgs, removeLevel, removeLevelLate, requiresMonotonicity, setConsistencyPruningEvent, supplyGuideFeedback
auxiliaryVariables, derivative, imposeDecomposition
protected IntVar[] listAlldiff
public static String[] xmlAttributes
public Alldiff(IntVar[] variables)
variables
- variables which are constrained to take different values.public int getConsistencyPruningEvent(Var var)
Constraint
getConsistencyPruningEvent
in class Alldifferent
var
- variable for which pruning event is retrievedpublic void impose(Store store)
Constraint
impose
in class Alldifferent
store
- the constraint store to which the constraint is imposed to.public void consistency(Store store)
Constraint
consistency
in class Alldifferent
store
- constraint store within which the constraint consistency is being checked.public String toString()
Constraint
toString
in class Alldifferent
Copyright © 2015. All rights reserved.