Package org.jacop.floats.constraints
Class PminusQeqR
java.lang.Object
org.jacop.constraints.DecomposedConstraint<Constraint>
org.jacop.constraints.Constraint
org.jacop.constraints.PrimitiveConstraint
org.jacop.floats.constraints.PplusQeqR
org.jacop.floats.constraints.PminusQeqR
- All Implemented Interfaces:
SatisfiedPresent
,StoreAware
Constraint P - Q = R
Bound consistency is used.
- Version:
- 4.10
-
Field Summary
Fields inherited from class org.jacop.constraints.PrimitiveConstraint
notConsistencyPruningEvents
Fields inherited from class org.jacop.constraints.Constraint
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
Fields inherited from class org.jacop.constraints.DecomposedConstraint
queueIndex
-
Constructor Summary
ConstructorsConstructorDescriptionPminusQeqR
(FloatVar p, FloatVar q, FloatVar r) It constructs constraint P-Q=R. -
Method Summary
Methods inherited from class org.jacop.floats.constraints.PplusQeqR
consistency, derivative, getDefaultConsistencyPruningEvent, getDefaultNotConsistencyPruningEvent, notConsistency, notSatisfied, satisfied
Methods inherited from class org.jacop.constraints.PrimitiveConstraint
getDefaultNestedConsistencyPruningEvent, getDefaultNestedNotConsistencyPruningEvent, getNestedPruningEvent, getNotConsistencyPruningEvent, impose, include, setNotConsistencyPruningEvent
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, queueVariable, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, updateAFC, watchedVariableGrounded
Methods inherited from class org.jacop.constraints.DecomposedConstraint
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, getDubletonsSkipSingletons, imposeDecomposition
-
Constructor Details
-
PminusQeqR
It constructs constraint P-Q=R.- Parameters:
p
- variable p.q
- variable q.r
- variable r.
-
-
Method Details
-
toString
Description copied from class:Constraint
It produces a string representation of a constraint state.
-