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

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

public class GenericBoolEqThreeVarArc
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
GenericBoolEqThreeVarArc(boolean x, Node y, boolean notY, Node z, boolean notZ)
          Constraint
GenericBoolEqThreeVarArc(GenericBooleanConstant x, Node y, boolean notY, Node z, boolean notZ)
          Constraint
GenericBoolEqThreeVarArc(Node x, boolean notX, boolean y, Node z, boolean notZ)
          Constraint
GenericBoolEqThreeVarArc(Node x, boolean notX, GenericBooleanConstant y, Node z, boolean notZ)
          Constraint
GenericBoolEqThreeVarArc(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

GenericBoolEqThreeVarArc

public GenericBoolEqThreeVarArc(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 equal to X
y - Y portion of equation
notY - True if Y portion of equation is equal to !Y, false if equal to Y
z - Left side of equation
notZ - True if left side of equation is equal to !Z, false if equal to Z

GenericBoolEqThreeVarArc

public GenericBoolEqThreeVarArc(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 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 equal to Z

GenericBoolEqThreeVarArc

public GenericBoolEqThreeVarArc(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 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 equal to Z

GenericBoolEqThreeVarArc

public GenericBoolEqThreeVarArc(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 equal to Y
z - Left side of equation
notZ - True if left side of equation is equal to !Z, false if equal to Z

GenericBoolEqThreeVarArc

public GenericBoolEqThreeVarArc(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 equal to Y
z - Left side of equation
notZ - True if left side of equation is equal to !Z, false if equal to Z