public class Subcircuit extends Alldiff
Modifier and Type | Field and Description |
---|---|
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.
|
listAlldiff
grounded, list, positionMapping
atomicExecution, consistencyPruningEvents, earlyTerminationOK, id, increaseWeight, numberArgs, numberId, trace
queueIndex
Constructor and Description |
---|
Subcircuit(ArrayList<IntVar> list)
It constructs a circuit constraint.
|
Subcircuit(IntVar[] list)
It constructs a circuit constraint.
|
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.
|
boolean |
satisfied()
It checks if the constraint is satisfied.
|
String |
toString()
It produces a string representation of a constraint state.
|
arguments, increaseWeight, queueVariable, removeConstraint
cleanAfterFailure, decompose, getGuideConstraint, getGuideValue, getGuideVariable, id, impose, imposeDecomposition, numberArgs, removeLevel, removeLevelLate, requiresMonotonicity, setConsistencyPruningEvent, supplyGuideFeedback
auxiliaryVariables, derivative, imposeDecomposition
public static String[] xmlAttributes
public Subcircuit(IntVar[] list)
list
- variables which must form a circuit.public void consistency(Store store)
Constraint
consistency
in class Alldiff
store
- constraint store within which the constraint consistency is being checked.public int getConsistencyPruningEvent(Var var)
Constraint
getConsistencyPruningEvent
in class Alldiff
var
- variable for which pruning event is retrievedpublic void impose(Store store)
Constraint
public boolean satisfied()
Constraint
satisfied
in class Alldifferent
public String toString()
Constraint
Copyright © 2015. All rights reserved.