public class Circuit 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 |
---|
Circuit(ArrayList<IntVar> list)
It constructs a circuit constraint.
|
Circuit(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.
|
void |
removeLevel(int level)
This function is called in case of the backtrack, so a constraint can
clear the queue of changed variables which is no longer valid.
|
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, removeLevelLate, requiresMonotonicity, setConsistencyPruningEvent, supplyGuideFeedback
auxiliaryVariables, derivative, imposeDecomposition
public static String[] xmlAttributes
public Circuit(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
public void removeLevel(int level)
Constraint
removeLevel
in class Constraint
level
- the level which is being removed.Copyright © 2015. All rights reserved.