jopt.csp.spi.arcalgorithm.graph.arc.hyper
Class TernaryBoolEqArc
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.TernaryBoolEqArc
- All Implemented Interfaces:
- Arc
- public class TernaryBoolEqArc
- extends TernaryBoolArc
Arc representing Z = (X == Y)
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 |
TernaryBoolEqArc
public TernaryBoolEqArc(BooleanNode x,
boolean notX,
BooleanNode y,
boolean notY,
BooleanNode z,
boolean notZ)
- Constraint
- Parameters:
x
- X portion of equationnotX
- True if X portion of equation is equal to !X, false if equal to Xy
- Y portion of equationnotY
- True if Y portion of equation is equal to !Y, false if equal to Yz
- Left side of equationnotZ
- True if left side of equation is equal to !Z, false if 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