jopt.csp.spi.arcalgorithm.graph.arc.hyper
Class TernaryBoolEqArc

java.lang.Object
  extended byjopt.csp.spi.arcalgorithm.graph.arc.AbstractArc
      extended byjopt.csp.spi.arcalgorithm.graph.arc.hyper.HyperArc
          extended byjopt.csp.spi.arcalgorithm.graph.arc.hyper.TernaryBoolArc
              extended byjopt.csp.spi.arcalgorithm.graph.arc.hyper.TernaryBoolEqArc
All Implemented Interfaces:
Arc

public class TernaryBoolEqArc
extends TernaryBoolArc

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
TernaryBoolEqArc(BooleanNode x, boolean notX, BooleanNode y, boolean notY, BooleanNode z, boolean notZ)
          Constraint
 
Method Summary
 void propagate()
          Attempts to reduce values in target node domain based on values in all source nodes
 java.lang.String toString()
          Returns string representation of arc
 
Methods inherited from class jopt.csp.spi.arcalgorithm.graph.arc.hyper.TernaryBoolArc
propagate
 
Methods inherited from class jopt.csp.spi.arcalgorithm.graph.arc.hyper.HyperArc
getArcType, getComplexity, getSourceDependencies, getSourceNodes, getTargetNode
 
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, wait, wait, wait
 

Constructor Detail

TernaryBoolEqArc

public TernaryBoolEqArc(BooleanNode x,
                        boolean notX,
                        BooleanNode y,
                        boolean notY,
                        BooleanNode 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
Method Detail

propagate

public void propagate()
               throws jopt.csp.variable.PropagationFailureException
Attempts to reduce values in target node domain based on values in all source nodes

Throws:
jopt.csp.variable.PropagationFailureException - If domain of target node becomes empty

toString

public java.lang.String toString()
Returns string representation of arc