public class PdivCeqR extends PmulCeqR
Boundary consistency is used.
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
queueIndex
Constructor and Description |
---|
PdivCeqR(FloatVar p,
double c,
FloatVar r)
It constructs a constraint P / Q = R.
|
Modifier and Type | Method and Description |
---|---|
String |
toString()
It produces a string representation of a constraint state.
|
consistency, derivative, getDefaultConsistencyPruningEvent, satisfied
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
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, getDubletonsSkipSingletons, imposeDecomposition
public String toString()
Constraint
Copyright © 2022. All rights reserved.