|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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.GenericBoolImpliesThreeVarArc
Arc representing Z = X -> Y
Field Summary |
Fields inherited from interface jopt.csp.spi.arcalgorithm.graph.arc.Arc |
BINARY, GENERIC, HYPER, NODE, SCHEDULE |
Constructor Summary | |
GenericBoolImpliesThreeVarArc(boolean x,
Node y,
boolean notY,
Node z,
boolean notZ)
Constraint |
|
GenericBoolImpliesThreeVarArc(GenericBooleanConstant x,
Node y,
boolean notY,
Node z,
boolean notZ)
Constraint |
|
GenericBoolImpliesThreeVarArc(Node x,
boolean notX,
boolean y,
Node z,
boolean notZ)
Constraint |
|
GenericBoolImpliesThreeVarArc(Node x,
boolean notX,
GenericBooleanConstant y,
Node z,
boolean notZ)
Constraint |
|
GenericBoolImpliesThreeVarArc(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 |
Constructor Detail |
public GenericBoolImpliesThreeVarArc(Node x, boolean notX, Node y, boolean notY, Node z, boolean notZ)
x
- X portion of equationnotX
- True if X portion of equation is equal to !X, false if right side is equal to Xy
- Y portion of equationnotY
- True if Y portion of equation is equal to !Y, false if right side is equal to Yz
- Left side of equationnotZ
- True if left side of equation is equal to !Z, false if left side is equal to Zpublic GenericBoolImpliesThreeVarArc(Node x, boolean notX, boolean y, Node z, boolean notZ)
x
- X portion of equationnotX
- True if X portion of equation is equal to !X, false if right side is equal to Xy
- y constant of equationz
- Left side of equationnotZ
- True if left side of equation is equal to !Z, false if left side is equal to Zpublic GenericBoolImpliesThreeVarArc(Node x, boolean notX, GenericBooleanConstant y, Node z, boolean notZ)
x
- X portion of equationnotX
- True if X portion of equation is equal to !X, false if right side is equal to Xy
- y constant of equationz
- Left side of equationnotZ
- True if left side of equation is equal to !Z, false if left side is equal to Zpublic GenericBoolImpliesThreeVarArc(boolean x, Node y, boolean notY, Node z, boolean notZ)
x
- x constant of equationy
- Y portion of equationnotY
- True if Y portion of equation is equal to !Y, false if right side is equal to Yz
- Left side of equationnotZ
- True if left side of equation is equal to !Z, false if left side is equal to Zpublic GenericBoolImpliesThreeVarArc(GenericBooleanConstant x, Node y, boolean notY, Node z, boolean notZ)
x
- x constant of equationy
- Y portion of equationnotY
- True if Y portion of equation is equal to !Y, false if right side is equal to Yz
- Left side of equationnotZ
- True if left side of equation is equal to !Z, false if left side is equal to Z
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |