Package org.jacop.floats.constraints
Class PdivQeqR
java.lang.Object
org.jacop.constraints.DecomposedConstraint<Constraint>
org.jacop.constraints.Constraint
org.jacop.floats.constraints.PmulQeqR
org.jacop.floats.constraints.PdivQeqR
- All Implemented Interfaces:
SatisfiedPresent
Constraint P / Q = R for floats
Boundary consistency is used.
- Version:
- 4.10
-
Field Summary
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
Constructors -
Method Summary
Methods inherited from class org.jacop.floats.constraints.PmulQeqR
consistency, derivative, getDefaultConsistencyPruningEvent, satisfied
Methods inherited from class org.jacop.constraints.Constraint
afc, arguments, cleanAfterFailure, decompose, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, 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
-
PdivQeqR
It constructs a 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.
-