|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object jopt.csp.spi.arcalgorithm.variable.VariableChangeBase jopt.csp.spi.arcalgorithm.constraint.AbstractConstraint jopt.csp.spi.arcalgorithm.constraint.bool.BooleanConstraint jopt.csp.spi.arcalgorithm.constraint.bool.TwoVarConstraint jopt.csp.spi.arcalgorithm.constraint.bool.BooleanImpliesTwoVarConstraint
Constraint representing A -> Z
Field Summary |
Fields inherited from interface jopt.csp.spi.util.NumConstants |
ADD, DIVIDE, DIVIDE_BY, DIVIDE_BY_CEIL, DIVIDE_BY_FLOOR, DIVIDE_CEIL, DIVIDE_FLOOR, DOUBLE, DOUBLE_NEG_INF, DOUBLE_POS_INF, DOUBLE_ZERO, EQ, FLOAT, FLOAT_NEG_INF, FLOAT_POS_INF, FLOAT_ZERO, GEQ, GT, HALF_PI, INTEGER, INTEGER_MAX, INTEGER_MIN, INTEGER_ZERO, LEQ, LONG, LONG_MAX, LONG_MIN, LONG_ZERO, LT, MULTIPLY, NEQ, ONE_AND_HALF_PI, PI, RANGE, SUBTRACT, SUBTRACT_FROM, TWO_PI |
Constructor Summary | |
BooleanImpliesTwoVarConstraint(BoolExpr a,
BoolExpr z)
|
Method Summary | |
boolean |
isTrue()
Returns true if constraint cannot be dissatisfied. |
java.lang.String |
toString()
|
Methods inherited from class jopt.csp.spi.arcalgorithm.constraint.bool.TwoVarConstraint |
addVariableChangeListener, addVariableChangeListener, getBooleanSourceArcs, getBooleanSourceNodes, getIndexManager, isViolated, postToGraph, removeVariableChangeListener |
Methods inherited from class jopt.csp.spi.arcalgorithm.constraint.AbstractConstraint |
associateToGraph, getGraphConstraintFragment, getPostableOpposite, isFalse, toBoolean |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public BooleanImpliesTwoVarConstraint(BoolExpr a, BoolExpr z)
Method Detail |
public boolean isTrue()
isTrue
in interface jopt.csp.variable.CspConstraint
isTrue
in class AbstractConstraint
public java.lang.String toString()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |