public class SqrtPeqR extends PmulQeqR
p, q, r, xmlAttributes
atomicExecution, consistencyPruningEvents, earlyTerminationOK, id, increaseWeight, numberArgs, numberId, trace
queueIndex
Constructor and Description |
---|
SqrtPeqR(FloatVar p,
FloatVar r)
It constructs a constraint sqrt(P) = R.
|
Modifier and Type | Method and Description |
---|---|
void |
consistency(Store store)
It is a (most probably incomplete) consistency function which removes the
values from variables domains.
|
FloatVar |
derivative(Store store,
FloatVar f,
Set<FloatVar> vars,
FloatVar x) |
String |
toString()
It produces a string representation of a constraint state.
|
arguments, getConsistencyPruningEvent, impose, increaseWeight, removeConstraint, satisfied
cleanAfterFailure, decompose, getGuideConstraint, getGuideValue, getGuideVariable, id, impose, imposeDecomposition, numberArgs, queueVariable, removeLevel, removeLevelLate, requiresMonotonicity, setConsistencyPruningEvent, supplyGuideFeedback
auxiliaryVariables, imposeDecomposition
public void consistency(Store store)
Constraint
consistency
in class PmulQeqR
store
- constraint store within which the constraint consistency is being checked.public String toString()
Constraint
Copyright © 2015. All rights reserved.