jopt.csp.spi.arcalgorithm.graph.arc.binary
Class BinaryBoolConstTargetXorArc

java.lang.Object
  extended byjopt.csp.spi.arcalgorithm.graph.arc.AbstractArc
      extended byjopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryArc
          extended byjopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryBoolArc
              extended byjopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryBoolConstTargetXorArc
All Implemented Interfaces:
Arc

public class BinaryBoolConstTargetXorArc
extends BinaryBoolArc

Arc representing Z xor X = y


Field Summary
 
Fields inherited from interface jopt.csp.spi.arcalgorithm.graph.arc.Arc
BINARY, GENERIC, HYPER, NODE, SCHEDULE
 
Constructor Summary
BinaryBoolConstTargetXorArc(BooleanNode x, boolean notX, boolean y, BooleanNode z, boolean notZ)
          Constraint
 
Method Summary
 void propagate()
          Attempts to reduce values in target node domain based on values in all source nodes
 
Methods inherited from class jopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryBoolArc
propagate
 
Methods inherited from class jopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryArc
getArcType, getComplexity, getSourceDependency, getSourceNode, 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, toString, wait, wait, wait
 

Constructor Detail

BinaryBoolConstTargetXorArc

public BinaryBoolConstTargetXorArc(BooleanNode x,
                                   boolean notX,
                                   boolean y,
                                   BooleanNode z,
                                   boolean notZ)
Constraint

Parameters:
x - X portion of equation
notX - True if x portion is equal to !X, false if equal to X
y - y portion of equation
z - Z portion of equation
notZ - True if z portion 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