Package org.jacop.constraints
Class Circuit
- All Implemented Interfaces:
SatisfiedPresent
,Stateful
,UsesQueueVariable
Circuit constraint assures that all variables build a Hamiltonian
circuit. Value of every variable x[i] points to the next variable in
the circuit. Variables create one circuit.
- Version:
- 4.10
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) int
(package private) boolean
(package private) int
(package private) MutableVar[]
(package private) SophisticatedLengauerTarjan
(package private) int
(package private) static AtomicInteger
(package private) Random
(package private) int
(package private) int[]
Fields inherited from class org.jacop.constraints.Alldifferent
grounded, list, positionMapping, variableQueue
Fields inherited from class org.jacop.constraints.Constraint
afcWeight, atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace, watchedVariableGrounded
Fields inherited from class org.jacop.constraints.DecomposedConstraint
queueIndex
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription(package private) void
alldifferent
(Store store, LinkedHashSet<IntVar> fdvs) void
consistency
(Store store) It is a (most probably incomplete) consistency function which removes the values from variables domains.private void
(package private) int
firstNode
(int current) int
private boolean
graphDominance
(int root) void
It imposes the constraint in a given store.(package private) int
(package private) void
oneCircuit
(Store store, LinkedHashSet<IntVar> fdvs) 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.private boolean
reversedGraphDominance
(int root) boolean
It checks if the constraint is satisfied.(package private) void
toString()
It produces a string representation of a constraint state.(package private) void
(package private) int
visit
(int k) Methods inherited from class org.jacop.constraints.Alldiff
queueVariable
Methods inherited from class org.jacop.constraints.Alldifferent
notSatisfied
Methods inherited from class org.jacop.constraints.Constraint
afc, arguments, cleanAfterFailure, decompose, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, imposeDecomposition, increaseWeight, intArrayToString, long2int, numberArgs, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, toInt, toInt, updateAFC, watchedVariableGrounded
Methods inherited from class org.jacop.constraints.DecomposedConstraint
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface org.jacop.api.Stateful
isStateful
-
Field Details
-
chainLength
int chainLength -
firstConsistencyCheck
boolean firstConsistencyCheck -
graph
MutableVar[] graph -
idd
int idd -
sccLength
int sccLength -
val
int[] val -
idNumber
-
valueIndex
-
firstConsistencyLevel
int firstConsistencyLevel -
graphDominance
SophisticatedLengauerTarjan graphDominance -
random
Random random
-
-
Constructor Details
-
Circuit
It constructs a circuit constraint.- Parameters:
list
- variables which must form a circuit.
-
Circuit
It constructs a circuit constraint.- Parameters:
list
- variables which must form a circuit.
-
-
Method Details
-
consistency
Description copied from class:Constraint
It is a (most probably incomplete) consistency function which removes the values from variables domains. Only values which do not have any support in a solution space are removed.- Overrides:
consistency
in classAlldiff
- Parameters:
store
- constraint store within which the constraint consistency is being checked.
-
alldifferent
-
firstNode
int firstNode(int current) -
getDefaultConsistencyPruningEvent
public int getDefaultConsistencyPruningEvent()- Overrides:
getDefaultConsistencyPruningEvent
in classAlldiff
-
impose
Description copied from class:Constraint
It imposes the constraint in a given store. -
lastNode
-
oneCircuit
-
satisfied
public boolean satisfied()Description copied from interface:SatisfiedPresent
It checks if the constraint is satisfied. It can return false even if constraint is satisfied but not all variables in its scope are grounded. It needs to return true if all variables in its scope are grounded and constraint is satisfied.Implementations of this interface for constraints that are not PrimitiveConstraint may require constraint imposition and consistency check as a requirement to work correctly.
- Specified by:
satisfied
in interfaceSatisfiedPresent
- Overrides:
satisfied
in classAlldifferent
- Returns:
- true if constraint is possible to verify that it is satisfied.
-
sccs
-
toString
Description copied from class:Constraint
It produces a string representation of a constraint state. -
removeLevel
public void removeLevel(int level) Description copied from interface:Stateful
This function is called in case of the backtrack, so a constraint can clear the queue of changed variables which is no longer valid. This function is called *before* all timestamps, variables, mutablevariables have reverted to their previous value.- Specified by:
removeLevel
in interfaceStateful
- Parameters:
level
- the level which is being removed.
-
updateChains
-
visit
int visit(int k) -
dominanceFilter
private void dominanceFilter() -
graphDominance
private boolean graphDominance(int root) -
reversedGraphDominance
private boolean reversedGraphDominance(int root)
-