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

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.ThreeVarConstraint
                  jopt.csp.spi.arcalgorithm.constraint.bool.BooleanOrConstraint

All Implemented Interfaces:

jopt.csp.variable.CspConstraint, GraphConstraint, NumConstants, PostableConstraint, VariableChangeSource

public class BooleanOrConstraint

extends ThreeVarConstraint

Constraint that restricts a BoolExpr to be true if either of two other BoolExpr are true

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

BooleanOrConstraint(BoolExpr x, boolean y, BoolExpr z)

BooleanOrConstraint(BoolExpr x, BoolExpr y, boolean notY, boolean z)

BooleanOrConstraint(BoolExpr x, BoolExpr y, boolean notY, BoolExpr z)

BooleanOrConstraint(BoolExpr x, BoolExpr y, boolean notY, GenericBooleanConstant z)

BooleanOrConstraint(BoolExpr x, GenericBooleanConstant y, BoolExpr z)

Method Summary

java.lang.String

toString()

Methods inherited from class jopt.csp.spi.arcalgorithm.constraint.bool.ThreeVarConstraint

addVariableChangeListener, addVariableChangeListener, getBooleanSourceArcs, getBooleanSourceNodes, getIndexManager, isAnyYTrue, isViolated, postToGraph, removeVariableChangeListener

Methods inherited from class jopt.csp.spi.arcalgorithm.constraint.AbstractConstraint

associateToGraph, getGraphConstraintFragment, getPostableOpposite, isFalse, isTrue, toBoolean

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BooleanOrConstraint

public BooleanOrConstraint(BoolExpr x,
                           BoolExpr y,
                           boolean notY,
                           BoolExpr z)

BooleanOrConstraint

public BooleanOrConstraint(BoolExpr x,
                           boolean y,
                           BoolExpr z)

BooleanOrConstraint

public BooleanOrConstraint(BoolExpr x,
                           BoolExpr y,
                           boolean notY,
                           boolean z)

BooleanOrConstraint

public BooleanOrConstraint(BoolExpr x,
                           GenericBooleanConstant y,
                           BoolExpr z)

BooleanOrConstraint

public BooleanOrConstraint(BoolExpr x,
                           BoolExpr y,
                           boolean notY,
                           GenericBooleanConstant z)

Method Detail

toString

public java.lang.String toString()