jopt.csp.spi.arcalgorithm.constraint.bool
Class BooleanImpliesTwoVarConstraint

java.lang.Object
  extended byjopt.csp.spi.arcalgorithm.variable.VariableChangeBase
      extended byjopt.csp.spi.arcalgorithm.constraint.AbstractConstraint
          extended byjopt.csp.spi.arcalgorithm.constraint.bool.BooleanConstraint
              extended byjopt.csp.spi.arcalgorithm.constraint.bool.TwoVarConstraint
                  extended byjopt.csp.spi.arcalgorithm.constraint.bool.BooleanImpliesTwoVarConstraint
All Implemented Interfaces:
jopt.csp.variable.CspConstraint, GraphConstraint, NumConstants, PostableConstraint, VariableChangeSource

public class BooleanImpliesTwoVarConstraint
extends TwoVarConstraint

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

BooleanImpliesTwoVarConstraint

public BooleanImpliesTwoVarConstraint(BoolExpr a,
                                      BoolExpr z)
Method Detail

isTrue

public boolean isTrue()
Returns true if constraint cannot be dissatisfied. Note that implication cannot simply check its opposite because valid conditions such as A[F]->Z[T] are not necessarily false in the opposite constraint A->!Z

Specified by:
isTrue in interface jopt.csp.variable.CspConstraint
Overrides:
isTrue in class AbstractConstraint

toString

public java.lang.String toString()