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

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

public class BinaryBoolConstAndReflexArc
extends BinaryBoolArc

Arc representing Z && y = X


Field Summary
 
Fields inherited from interface jopt.csp.spi.arcalgorithm.graph.arc.Arc
BINARY, GENERIC, HYPER, NODE, SCHEDULE
 
Constructor Summary
BinaryBoolConstAndReflexArc(BooleanNode x, boolean notX, boolean y, BooleanNode z, boolean notZ)
          Creates new and reflex 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

BinaryBoolConstAndReflexArc

public BinaryBoolConstAndReflexArc(BooleanNode x,
                                   boolean notX,
                                   boolean y,
                                   BooleanNode z,
                                   boolean notZ)
Creates new and reflex 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
z - Z portion of equation
notZ - True if z portion 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