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

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

All Implemented Interfaces:

Arc, NumArc, NumConstants

public class GenericBoolConstTargetXImpliesArc

extends GenericBoolArc

implements NumArc

Arc representing Z -> X = 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

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

GenericBoolConstTargetXImpliesArc(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

GenericBoolConstTargetXImpliesArc

public GenericBoolConstTargetXImpliesArc(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

GenericBoolConstTargetXImpliesArc

public GenericBoolConstTargetXImpliesArc(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