jopt.csp.spi.arcalgorithm.graph.arc.generic
Class GenericBoolAndArc

java.lang.Object
  extended byjopt.csp.spi.arcalgorithm.graph.arc.AbstractArc
      extended byjopt.csp.spi.arcalgorithm.graph.arc.generic.GenericArc
          extended byjopt.csp.spi.arcalgorithm.graph.arc.generic.GenericBoolArc
              extended byjopt.csp.spi.arcalgorithm.graph.arc.generic.GenericBoolAndArc
All Implemented Interfaces:
Arc, NumArc, NumConstants

public class GenericBoolAndArc
extends GenericBoolArc
implements NumArc

Arc representing Z = X and Y


Field Summary
 
Fields inherited from interface jopt.csp.spi.arcalgorithm.graph.arc.Arc
BINARY, GENERIC, HYPER, NODE, SCHEDULE
 
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
GenericBoolAndArc(Node x, boolean notX, boolean y, Node z, boolean notZ)
          Constraint
GenericBoolAndArc(Node x, boolean notX, GenericBooleanConstant y, Node z, boolean notZ)
          Constraint
GenericBoolAndArc(Node x, boolean notX, Node y, boolean notY, Node z, boolean notZ)
          Constraint
 
Methods inherited from class jopt.csp.spi.arcalgorithm.graph.arc.generic.GenericBoolArc
isAnyXFalse, isAnyXTrue, isAnyYFalse, isAnyYTrue, isAnyZFalse, isAnyZTrue, propagate, propagate
 
Methods inherited from class jopt.csp.spi.arcalgorithm.graph.arc.generic.GenericArc
getArcType, getComplexity, getSourceDependencies, getSourceNodes, getTargetNodes
 
Methods inherited from class jopt.csp.spi.arcalgorithm.graph.arc.AbstractArc
setAlgorithmStrength, setUseDomainDeltas
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface jopt.csp.spi.arcalgorithm.graph.arc.Arc
getArcType, getComplexity, propagate, propagate, setAlgorithmStrength, setUseDomainDeltas
 

Constructor Detail

GenericBoolAndArc

public GenericBoolAndArc(Node x,
                         boolean notX,
                         Node y,
                         boolean notY,
                         Node z,
                         boolean notZ)
Constraint

Parameters:
x - X portion of equation
notX - True if X portion of equation is equal to !X, false if right side is equal to X
y - Y portion of equation
notY - True if Y portion of equation is equal to !Y, false if right side is equal to Y
z - Left side of equation
notZ - True if left side of equation is equal to !Z, false if left side is equal to Z

GenericBoolAndArc

public GenericBoolAndArc(Node x,
                         boolean notX,
                         boolean y,
                         Node z,
                         boolean notZ)
Constraint

Parameters:
x - X portion of equation
notX - True if X portion of equation is equal to !X, false if right side is equal to X
y - y constant of equation
z - Left side of equation
notZ - True if left side of equation is equal to !Z, false if left side is equal to Z

GenericBoolAndArc

public GenericBoolAndArc(Node x,
                         boolean notX,
                         GenericBooleanConstant y,
                         Node z,
                         boolean notZ)
Constraint

Parameters:
x - X portion of equation
notX - True if X portion of equation is equal to !X, false if right side is equal to X
y - y constant of equation
z - Left side of equation
notZ - True if left side of equation is equal to !Z, false if left side is equal to Z