jopt.csp.spi.arcalgorithm.graph.arc.binary
Class BinarySetSupersetArc
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.BinarySetArc
jopt.csp.spi.arcalgorithm.graph.arc.binary.BinarySetSupersetArc
- All Implemented Interfaces:
- Arc, SetArc
- public class BinarySetSupersetArc
- extends BinarySetArc
Arc representing Z is superset of X
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 |
BinarySetSupersetArc
public BinarySetSupersetArc(SetNode source,
SetNode target,
boolean strict)
- Constructor
- Parameters:
source
- Source node in equationtarget
- Target node in equationstrict
- True if target is a strict superset of source
propagate
public void propagate()
throws jopt.csp.variable.PropagationFailureException
- Description copied from interface:
Arc
- 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