jopt.csp.spi.arcalgorithm.graph.arc.binary
Class BinaryBoolEqThreeVarArc
java.lang.Object
jopt.csp.spi.arcalgorithm.graph.arc.AbstractArc
jopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryArc
jopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryBoolArc
jopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryBoolEqThreeVarArc
- All Implemented Interfaces:
- Arc
- public class BinaryBoolEqThreeVarArc
- extends BinaryBoolArc
Arc representing Z = (A == b)
Method Summary |
void |
propagate()
Attempts to reduce values in target node domain based on values
in all source nodes |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BinaryBoolEqThreeVarArc
public BinaryBoolEqThreeVarArc(BooleanNode a,
boolean notA,
boolean b,
BooleanNode z,
boolean notZ)
- Constraint
- Parameters:
a
- A portion of equationnotA
- True if A portion of equation is equal to !A, false if equal to Ab
- B constant of equationz
- 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