public class PminusCeqR extends PplusCeqR
p, r, xmlAttributes
notConsistencyPruningEvents
atomicExecution, consistencyPruningEvents, earlyTerminationOK, id, increaseWeight, numberArgs, numberId, trace
queueIndex
Constructor and Description |
---|
PminusCeqR(FloatVar p,
double c,
FloatVar r)
It constructs 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, getNestedPruningEvent, getNotConsistencyPruningEvent, impose, increaseWeight, notConsistency, notSatisfied, removeConstraint, satisfied
include, setNotConsistencyPruningEvent
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.