jopt.csp.spi.arcalgorithm.graph.arc.hyper
Class TernaryBoolOrReflexArc
java.lang.Object
jopt.csp.spi.arcalgorithm.graph.arc.AbstractArc
jopt.csp.spi.arcalgorithm.graph.arc.hyper.HyperArc
jopt.csp.spi.arcalgorithm.graph.arc.hyper.TernaryBoolArc
jopt.csp.spi.arcalgorithm.graph.arc.hyper.TernaryBoolOrReflexArc
- All Implemented Interfaces:
- Arc
- public class TernaryBoolOrReflexArc
- extends TernaryBoolArc
Arc representing Z or Y = X
Method Summary |
void |
propagate()
Attempts to reduce values in target node domain based on values
in all source nodes |
java.lang.String |
toString()
Returns string representation of arc |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
TernaryBoolOrReflexArc
public TernaryBoolOrReflexArc(BooleanNode x,
boolean notX,
BooleanNode y,
boolean notY,
BooleanNode z,
boolean notZ)
- Constraint
- Parameters:
x
- Right side of the 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
- X portion of equationnotZ
- True if left side of equation is equal to !Z, false if left side is equal to Z
propagate
public void propagate()
throws jopt.csp.variable.PropagationFailureException
- Attempts to reduce values in target node domain based on values
in all source nodes
- Throws:
jopt.csp.variable.PropagationFailureException
- If domain of target node becomes empty
toString
public java.lang.String toString()
- Returns string representation of arc