Package org.jacop.floats.constraints
Class AcosPeqR
java.lang.Object
org.jacop.constraints.DecomposedConstraint<Constraint>
org.jacop.constraints.Constraint
org.jacop.floats.constraints.CosPeqR
org.jacop.floats.constraints.AcosPeqR
- All Implemented Interfaces:
SatisfiedPresent
,Stateful
Constraints acos(P) = R
Bounds consistency can be used; third parameter of constructor controls this.
- Version:
- 4.10
-
Field Summary
Fields inherited from class org.jacop.floats.constraints.CosPeqR
firstConsistencyCheck, firstConsistencyLevel, idNumber, p, q
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.CosPeqR
boundConsistency, consistency, derivative, getDefaultConsistencyPruningEvent, intervalNo, normalize, removeLevel, 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
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface org.jacop.api.Stateful
isStateful
-
Constructor Details
-
AcosPeqR
It constructs sin(P) = Q constraints.- Parameters:
p
- variable Pq
- variable Q
-
-
Method Details
-
toString
Description copied from class:Constraint
It produces a string representation of a constraint state.
-