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

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.BooleanEqThreeVarConstraint

All Implemented Interfaces:

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

public class BooleanEqThreeVarConstraint

extends ThreeVarConstraint

Constraint representing (X == Y) = 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

BooleanEqThreeVarConstraint(BoolExpr x, boolean y, BoolExpr z)
A constructor to create a BooleanEqConstraint using three boolean expressions.

BooleanEqThreeVarConstraint(BoolExpr x, BoolExpr y, boolean notY, boolean z)
A constructor to create a BooleanEqConstraint using three boolean expressions.

BooleanEqThreeVarConstraint(BoolExpr x, BoolExpr y, boolean notY, BoolExpr z)
A constructor to create a BooleanEqConstraint using three boolean expressions.

BooleanEqThreeVarConstraint(BoolExpr x, BoolExpr y, boolean notY, GenericBooleanConstant z)
A constructor to create a BooleanEqConstraint using three boolean expressions.

BooleanEqThreeVarConstraint(BoolExpr x, GenericBooleanConstant y, BoolExpr z)
A constructor to create a BooleanEqConstraint using three boolean expressions.

Method Summary

java.lang.String

toString() Returns string representation of this three variable equality constraint

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

BooleanEqThreeVarConstraint

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

A constructor to create a BooleanEqConstraint using three boolean expressions.

Parameters:

x - boolean expression representing one of the source values

y - boolean expression representing one of the source values

notY - boolean representing whether we deal y or !y

z - boolean expression representing whether or not the equality of x and y is true

BooleanEqThreeVarConstraint

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

A constructor to create a BooleanEqConstraint using three boolean expressions.

Parameters:

x - boolean expression representing one of the source values

y - boolean representing one of the source values

z - boolean expression representing whether or not the equality of x and y is true

BooleanEqThreeVarConstraint

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

A constructor to create a BooleanEqConstraint using three boolean expressions.

Parameters:

x - boolean expression representing one of the source values

y - generic boolean representing one of the source values

z - boolean expression representing whether or not the equality of x and y is true

BooleanEqThreeVarConstraint

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

A constructor to create a BooleanEqConstraint using three boolean expressions.

Parameters:

x - boolean expression representing one of the source values

y - boolean expression representing one of the source values

notY - boolean representing whether we deal y or !y

z - constant boolean representing whether or not the equality of x and y is true

BooleanEqThreeVarConstraint

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

A constructor to create a BooleanEqConstraint using three boolean expressions.

Parameters:

x - boolean expression representing one of the source values

y - boolean expression representing one of the source values

notY - boolean representing whether we deal y or !y

z - boolean expression representing whether or not the equality of x and y is true

Method Detail

toString

public java.lang.String toString()

Returns string representation of this three variable equality constraint