public class PdivQeqR extends PmulQeqR
p, q, r, xmlAttributes
atomicExecution, consistencyPruningEvents, earlyTerminationOK, id, increaseWeight, numberArgs, numberId, trace
queueIndex
Constructor and Description |
---|
PdivQeqR(FloatVar p,
FloatVar q,
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.
|
arguments, consistency, derivative, getConsistencyPruningEvent, impose, increaseWeight, removeConstraint, satisfied
cleanAfterFailure, decompose, getGuideConstraint, getGuideValue, getGuideVariable, id, impose, imposeDecomposition, numberArgs, queueVariable, removeLevel, removeLevelLate, requiresMonotonicity, setConsistencyPruningEvent, supplyGuideFeedback
auxiliaryVariables, imposeDecomposition
public String toString()
Constraint
Copyright © 2015. All rights reserved.