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

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

All Implemented Interfaces:

Arc, NumArc, NumConstants

public class GenericBoolConstTargetYImpliesArc

extends GenericBoolArc

implements NumArc

Arc representing X -> Z = y

Field Summary

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

BINARY, GENERIC, HYPER, NODE, SCHEDULE

Fields inherited from interface jopt.csp.spi.util.NumConstants

ADD, DIVIDE, DIVIDE_BY, DIVIDE_BY_CEIL, DIVIDE_BY_FLOOR, DIVIDE_CEIL, DIVIDE_FLOOR, DOUBLE, DOUBLE_NEG_INF, DOUBLE_POS_INF, DOUBLE_ZERO, EQ, FLOAT, FLOAT_NEG_INF, FLOAT_POS_INF, FLOAT_ZERO, GEQ, GT, HALF_PI, INTEGER, INTEGER_MAX, INTEGER_MIN, INTEGER_ZERO, LEQ, LONG, LONG_MAX, LONG_MIN, LONG_ZERO, LT, MULTIPLY, NEQ, ONE_AND_HALF_PI, PI, RANGE, SUBTRACT, SUBTRACT_FROM, TWO_PI

Constructor Summary

GenericBoolConstTargetYImpliesArc(Node x, boolean notX, boolean y, Node z, boolean notZ)
Constraint

GenericBoolConstTargetYImpliesArc(Node x, boolean notX, GenericBooleanConstant y, 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

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

getArcType, getComplexity, propagate, propagate, setAlgorithmStrength, setUseDomainDeltas

Constructor Detail

GenericBoolConstTargetYImpliesArc

public GenericBoolConstTargetYImpliesArc(Node x,
                                         boolean notX,
                                         boolean y,
                                         Node z,
                                         boolean notZ)

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

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

GenericBoolConstTargetYImpliesArc

public GenericBoolConstTargetYImpliesArc(Node x,
                                         boolean notX,
                                         GenericBooleanConstant y,
                                         Node z,
                                         boolean notZ)

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

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