jopt.csp.spi.arcalgorithm.graph.arc.binary
Class BinaryBoolConstTargetXorArc
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.BinaryBoolConstTargetXorArc
- All Implemented Interfaces:
- Arc
- public class BinaryBoolConstTargetXorArc
- extends BinaryBoolArc
Arc representing Z xor X = y
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 |
BinaryBoolConstTargetXorArc
public BinaryBoolConstTargetXorArc(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
- Z portion of equationnotZ
- True if z portion 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