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

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

All Implemented Interfaces:

Arc, NumArc, NumConstants

public class GenericBoolOrReflexArc

extends GenericBoolArc

implements NumArc

Arc representing Z or 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

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

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

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

GenericBoolOrReflexArc

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

GenericBoolOrReflexArc

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

GenericBoolOrReflexArc

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