Package org.jacop.floats.constraints
Class SqrtPeqR
java.lang.Object
org.jacop.constraints.DecomposedConstraint<Constraint>
org.jacop.constraints.Constraint
org.jacop.floats.constraints.PmulQeqR
org.jacop.floats.constraints.SqrtPeqR
- All Implemented Interfaces:
SatisfiedPresent
Constraint sqrt(P) = R for floats
Boundary consistency is used.
- Version:
- 4.8
-
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
Modifier and TypeMethodDescriptionvoid
consistency
(Store store) It is a (most probably incomplete) consistency function which removes the values from variables domains.toString()
It produces a string representation of a constraint state.Methods inherited from class org.jacop.floats.constraints.PmulQeqR
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, 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
-
SqrtPeqR
It constructs a constraint sqrt(P) = R.- Parameters:
p
- variable p.r
- variable r.
-
-
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 classPmulQeqR
- Parameters:
store
- constraint store within which the constraint consistency is being checked.
-
toString
Description copied from class:Constraint
It produces a string representation of a constraint state. -
derivative
- Overrides:
derivative
in classPmulQeqR
-