Package org.jacop.constraints
Class Alldiff
java.lang.Object
org.jacop.constraints.DecomposedConstraint<Constraint>
org.jacop.constraints.Constraint
org.jacop.constraints.Alldifferent
org.jacop.constraints.Alldiff
- All Implemented Interfaces:
SatisfiedPresent
,UsesQueueVariable
- Direct Known Subclasses:
Circuit
,Subcircuit
Alldiff constraint assures that all FDVs has different values. It uses bounds
consistency technique as described in the paper by Alejandro Lopez-Ortiz, Claude-Guy
Quimper, John Tromp, Peter van Beek, "A fast and simple algorithm for bounds
consistency of the alldifferent constraint", Proceedings of the 18th international
joint conference on Artificial intelligence (IJCAI'03), Pages 245-250. Before using
bounds consistency it calls consistency method for ground variables.
It extends basic functionality of Alldifferent constraint.
- Version:
- 4.9
-
Nested Class Summary
Nested Classes -
Field Summary
FieldsModifier and TypeFieldDescriptionprivate int[]
private int[]
private int[]
(package private) static AtomicInteger
private Alldiff.Element[]
private Comparator<Alldiff.Element>
private Alldiff.Element[]
private Comparator<Alldiff.Element>
private int
(package private) Store
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 TypeMethodDescriptionvoid
consistency
(Store store) It is a (most probably incomplete) consistency function which removes the values from variables domains.int
void
It imposes the constraint in a given store.private void
init()
private int
pathmax
(int[] v, int i) private int
pathmin
(int[] v, int i) private void
pathset
(int[] v, int start, int end, int to) void
queueVariable
(int level, Var var) This is a function called to indicate which variable in a scope of constraint has changed.toString()
It produces a string representation of a constraint state.private void
updateLB()
private void
updateUB()
Methods inherited from class org.jacop.constraints.Alldifferent
notSatisfied, satisfied
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
-
Field Details
-
idNumber
-
store
Store store -
maxVariable
-
minVariable
-
t
private int[] t -
d
private int[] d -
h
private int[] h -
bounds
private int[] bounds -
nb
private int nb -
minsorted
-
maxsorted
-
-
Constructor Details
-
Alldiff
protected Alldiff() -
Alldiff
It constructs the alldiff constraint for the supplied variable.- Parameters:
variables
- variables which are constrained to take different values.
-
Alldiff
It constructs the alldiff constraint for the supplied variable.- Parameters:
variables
- variables which are constrained to take different values.
-
-
Method Details
-
getDefaultConsistencyPruningEvent
public int getDefaultConsistencyPruningEvent()- Overrides:
getDefaultConsistencyPruningEvent
in classAlldifferent
-
impose
Description copied from class:Constraint
It imposes the constraint in a given store.- Overrides:
impose
in classAlldifferent
- Parameters:
store
- the constraint store to which the constraint is imposed to.
-
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 classAlldifferent
- Parameters:
store
- constraint store within which the constraint consistency is being checked.
-
init
private void init() -
updateLB
private void updateLB() -
updateUB
private void updateUB() -
pathset
private void pathset(int[] v, int start, int end, int to) -
pathmin
private int pathmin(int[] v, int i) -
pathmax
private int pathmax(int[] v, int i) -
toString
Description copied from class:Constraint
It produces a string representation of a constraint state.- Overrides:
toString
in classAlldifferent
-
queueVariable
Description copied from class:Constraint
This is a function called to indicate which variable in a scope of constraint has changed. It also indicates a store level at which the change has occurred.- Overrides:
queueVariable
in classAlldifferent
- Parameters:
level
- the level of the store at which the change has occurred.var
- variable which has changed.
-