jopt.csp.spi.arcalgorithm.graph.arc.binary
Class BinaryBoolConstSourceAndArc
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.BinaryBoolConstSourceAndArc
- All Implemented Interfaces:
- Arc
- public class BinaryBoolConstSourceAndArc
- extends BinaryBoolArc
Arc representing X && y = Z
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 |
BinaryBoolConstSourceAndArc
public BinaryBoolConstSourceAndArc(BooleanNode x,
boolean notX,
boolean y,
BooleanNode z,
boolean notZ)
- Constraint
- Parameters:
x
- X portion of equationnotX
- True if x portion is equal to !X, false if equal to Xy
- y portion of equationz
- Left side 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