jopt.csp.spi.arcalgorithm.graph.arc.generic
Class GenericBoolImpliesReflexTwoVarArc

java.lang.Object
  jopt.csp.spi.arcalgorithm.graph.arc.AbstractArc
      jopt.csp.spi.arcalgorithm.graph.arc.generic.GenericArc
          jopt.csp.spi.arcalgorithm.graph.arc.generic.GenericBoolArc
              jopt.csp.spi.arcalgorithm.graph.arc.generic.GenericBoolImpliesReflexTwoVarArc

All Implemented Interfaces:

Arc

public class GenericBoolImpliesReflexTwoVarArc

extends GenericBoolArc

Arc representing A <- Z

Field Summary

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

BINARY, GENERIC, HYPER, NODE, SCHEDULE

Constructor Summary

GenericBoolImpliesReflexTwoVarArc(Node a, boolean notA, Node z, boolean notZ)
Constraint

Methods inherited from class jopt.csp.spi.arcalgorithm.graph.arc.generic.GenericBoolArc

isAnyXFalse, isAnyXTrue, isAnyYFalse, isAnyYTrue, isAnyZFalse, isAnyZTrue, propagate, propagate

Methods inherited from class jopt.csp.spi.arcalgorithm.graph.arc.generic.GenericArc

getArcType, getComplexity, getSourceDependencies, getSourceNodes, getTargetNodes

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

GenericBoolImpliesReflexTwoVarArc

public GenericBoolImpliesReflexTwoVarArc(Node a,
                                         boolean notA,
                                         Node 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

z - Left side of equation

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