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

java.lang.Object
  jopt.csp.spi.arcalgorithm.graph.arc.AbstractArc
      jopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryArc
          jopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryBoolArc
              jopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryBoolImpliesTwoVarArc

All Implemented Interfaces:

Arc

public class BinaryBoolImpliesTwoVarArc

extends BinaryBoolArc

Arc representing Z <- A

Field Summary

Fields inherited from interface jopt.csp.spi.arcalgorithm.graph.arc.Arc

BINARY, GENERIC, HYPER, NODE, SCHEDULE

Constructor Summary

BinaryBoolImpliesTwoVarArc(BooleanNode a, boolean notA, 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

BinaryBoolImpliesTwoVarArc

public BinaryBoolImpliesTwoVarArc(BooleanNode a,
                                  boolean notA,
                                  BooleanNode z,
                                  boolean notZ)

Constraint

Parameters:

a - Right of equation

notA - True if A portion of equation is equal to !A, false if right side is equal to A

z - Left side of equation

notZ - True if left side of equation is equal to !Z, false if left side is 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