public class LnPeqR extends ExpPeqR
Domain consistency is used.
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
queueIndex
Constructor and Description |
---|
LnPeqR(FloatVar p,
FloatVar q)
It constructs constraint Ln(P) = Q.
|
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.