Package org.jacop.constraints
Class Decreasing
java.lang.Object
org.jacop.constraints.DecomposedConstraint<Constraint>
org.jacop.constraints.Constraint
org.jacop.constraints.Increasing
org.jacop.constraints.Decreasing
Decreasing constraint assures that all variables are in decreasing order.
- Version:
- 4.10
-
Field Summary
Fields inherited from class org.jacop.constraints.Increasing
constraints, idNumber, n, strict, x
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
ConstructorsConstructorDescriptionDecreasing
(List<? extends IntVar> x) It constructs an decreasing constraint.Decreasing
(List<? extends IntVar> x, boolean strict) Decreasing
(IntVar[] x) Decreasing
(IntVar[] x, boolean strict) -
Method Summary
Methods inherited from class org.jacop.constraints.Increasing
consistency, decompose, getDefaultConsistencyPruningEvent, imposeDecomposition
Methods inherited from class org.jacop.constraints.Constraint
afc, arguments, cleanAfterFailure, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, impose, increaseWeight, intArrayToString, long2int, numberArgs, queueVariable, 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
-
Constructor Details
-
Decreasing
-
Decreasing
-
Decreasing
It constructs an decreasing constraint.- Parameters:
x
- variables which must be in decreasing order.
-
Decreasing
-
-
Method Details
-
toString
Description copied from class:Constraint
It produces a string representation of a constraint state.- Overrides:
toString
in classIncreasing
-