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

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.BinaryBoolImpliesThreeVarArc

All Implemented Interfaces:

Arc

public class BinaryBoolImpliesThreeVarArc

extends BinaryBoolArc

Arc representing Z = A -> b or Z = a -> B

Field Summary

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

BINARY, GENERIC, HYPER, NODE, SCHEDULE

Constructor Summary

BinaryBoolImpliesThreeVarArc(boolean a, BooleanNode b, boolean notB, BooleanNode z, boolean notZ)
Constraint

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

BinaryBoolImpliesThreeVarArc

public BinaryBoolImpliesThreeVarArc(BooleanNode a,
                                    boolean notA,
                                    boolean b,
                                    BooleanNode z,
                                    boolean notZ)

Constraint

Parameters:

a - A portion of equation

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

b - B portion of equation

z - Left side of equation

notZ - True if left side of equation is equal to !Z, false if left side is equal to Z

BinaryBoolImpliesThreeVarArc

public BinaryBoolImpliesThreeVarArc(boolean a,
                                    BooleanNode b,
                                    boolean notB,
                                    BooleanNode z,
                                    boolean notZ)

Constraint

Parameters:

a - A portion of equation

b - B portion of equation

notB - True if B portion of equation is equal to !B, false if right side is equal to B

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