jopt.csp.spi.arcalgorithm.graph.arc.binary
Class BinaryBoolConstAndReflexArc
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.BinaryBoolConstAndReflexArc
- All Implemented Interfaces:
- Arc
- public class BinaryBoolConstAndReflexArc
- extends BinaryBoolArc
Arc representing Z && y = X
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 |
BinaryBoolConstAndReflexArc
public BinaryBoolConstAndReflexArc(BooleanNode x,
boolean notX,
boolean y,
BooleanNode z,
boolean notZ)
- Creates new and reflex 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 equationz
- Z portion of equationnotZ
- True if z portion 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