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

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.BinarySetNotMemberOfSetReflexArc

All Implemented Interfaces:

Arc, SetArc

public class BinarySetNotMemberOfSetReflexArc

extends BinarySetArc

Binary arc that constrains a set variable not to contain values contained in a specific variable

Version:

$Revision $

Author:

Nick Coleman

Field Summary

Fields inherited from interface jopt.csp.spi.arcalgorithm.graph.arc.Arc

BINARY, GENERIC, HYPER, NODE, SCHEDULE

Constructor Summary

BinarySetNotMemberOfSetReflexArc(NumNode expr, SetNode set)

Method Summary

void	propagate() Attempts to reduce values in target node domain based on values in all source nodes
void	propagate(Node src) Attempts to reduce values in target node domain based on values in given source node

Methods inherited from class jopt.csp.spi.arcalgorithm.graph.arc.binary.BinaryArc

getArcType, getComplexity, getSourceDependency, getSourceNode, getTargetNode

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, toString, wait, wait, wait

Methods inherited from interface jopt.csp.spi.arcalgorithm.graph.arc.Arc

getArcType, getComplexity, setAlgorithmStrength, setUseDomainDeltas

Constructor Detail

BinarySetNotMemberOfSetReflexArc

public BinarySetNotMemberOfSetReflexArc(NumNode expr,
                                        SetNode set)

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

propagate

public void propagate(Node src)
               throws jopt.csp.variable.PropagationFailureException

Description copied from interface: Arc

Attempts to reduce values in target node domain based on values in given source node

Specified by:

propagate in interface Arc

Overrides:

propagate in class BinaryArc

Throws:

jopt.csp.variable.PropagationFailureException