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

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

All Implemented Interfaces:

Arc, NumArc, NumConstants

public class GenericBoolAndReflexArc

extends GenericBoolArc

implements NumArc

Arc representing Z[target] and Y = X

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

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

GenericBoolAndReflexArc(Node x, boolean notX, GenericBooleanConstant y, Node z, boolean notZ)
Constraint

GenericBoolAndReflexArc(Node x, boolean notX, Node y, boolean notY, 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

GenericBoolAndReflexArc

public GenericBoolAndReflexArc(Node x,
                               boolean notX,
                               Node y,
                               boolean notY,
                               Node z,
                               boolean notZ)

Constraint

Parameters:

x - X portion of equation

notX - True if X portion of equation is equal to !X, false if right side is equal to X

y - Y portion of equation

notY - True if Y portion of equation is equal to !Y, false if right side is equal to Y

z - Left side of equation

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

GenericBoolAndReflexArc

public GenericBoolAndReflexArc(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 right side is equal to X

y - y constant 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

GenericBoolAndReflexArc

public GenericBoolAndReflexArc(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 right side is equal to X

y - y constant 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