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

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.GenericBoolImpliesThreeVarArc
All Implemented Interfaces:
Arc

public class GenericBoolImpliesThreeVarArc
extends GenericBoolArc

Arc representing Z = X -> Y


Field Summary
 
Fields inherited from interface jopt.csp.spi.arcalgorithm.graph.arc.Arc
BINARY, GENERIC, HYPER, NODE, SCHEDULE
 
Constructor Summary
GenericBoolImpliesThreeVarArc(boolean x, Node y, boolean notY, Node z, boolean notZ)
          Constraint
GenericBoolImpliesThreeVarArc(GenericBooleanConstant x, Node y, boolean notY, Node z, boolean notZ)
          Constraint
GenericBoolImpliesThreeVarArc(Node x, boolean notX, boolean y, Node z, boolean notZ)
          Constraint
GenericBoolImpliesThreeVarArc(Node x, boolean notX, GenericBooleanConstant y, Node z, boolean notZ)
          Constraint
GenericBoolImpliesThreeVarArc(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
 

Constructor Detail

GenericBoolImpliesThreeVarArc

public GenericBoolImpliesThreeVarArc(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

GenericBoolImpliesThreeVarArc

public GenericBoolImpliesThreeVarArc(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

GenericBoolImpliesThreeVarArc

public GenericBoolImpliesThreeVarArc(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

GenericBoolImpliesThreeVarArc

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

Parameters:
x - x constant of equation
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

GenericBoolImpliesThreeVarArc

public GenericBoolImpliesThreeVarArc(GenericBooleanConstant x,
                                     Node y,
                                     boolean notY,
                                     Node z,
                                     boolean notZ)
Constraint

Parameters:
x - x constant of equation
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