jopt.csp.spi.arcalgorithm.graph.arc.binary
Class BinarySetSupersetArc

java.lang.Object
  extended byjopt.csp.spi.arcalgorithm.graph.arc.AbstractArc
      extended byjopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryArc
          extended byjopt.csp.spi.arcalgorithm.graph.arc.binary.BinarySetArc
              extended byjopt.csp.spi.arcalgorithm.graph.arc.binary.BinarySetSupersetArc
All Implemented Interfaces:
Arc, SetArc

public class BinarySetSupersetArc
extends BinarySetArc

Arc representing Z is superset of X


Field Summary
 
Fields inherited from interface jopt.csp.spi.arcalgorithm.graph.arc.Arc
BINARY, GENERIC, HYPER, NODE, SCHEDULE
 
Constructor Summary
BinarySetSupersetArc(SetNode source, SetNode target, boolean strict)
          Constructor
 
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 jopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryArc
getArcType, getComplexity, getSourceDependency, getSourceNode, getTargetNode, propagate
 
Methods inherited from class jopt.csp.spi.arcalgorithm.graph.arc.AbstractArc
setAlgorithmStrength, setUseDomainDeltas
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface jopt.csp.spi.arcalgorithm.graph.arc.Arc
getArcType, getComplexity, propagate, setAlgorithmStrength, setUseDomainDeltas
 

Constructor Detail

BinarySetSupersetArc

public BinarySetSupersetArc(SetNode source,
                            SetNode target,
                            boolean strict)
Constructor

Parameters:
source - Source node in equation
target - Target node in equation
strict - True if target is a strict superset of source
Method Detail

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