jopt.csp.spi.arcalgorithm.graph.arc.generic
Class GenericBoolArc

java.lang.Object
  extended byjopt.csp.spi.arcalgorithm.graph.arc.AbstractArc
      extended byjopt.csp.spi.arcalgorithm.graph.arc.generic.GenericArc
          extended byjopt.csp.spi.arcalgorithm.graph.arc.generic.GenericBoolArc
All Implemented Interfaces:
Arc
Direct Known Subclasses:
GenericBoolAndArc, GenericBoolAndReflexArc, GenericBoolConstTargetAndArc, GenericBoolConstTargetOrArc, GenericBoolConstTargetXImpliesArc, GenericBoolConstTargetXorArc, GenericBoolConstTargetYImpliesArc, GenericBoolEqThreeVarArc, GenericBoolEqTwoVarArc, GenericBoolImpliesReflexTwoVarArc, GenericBoolImpliesThreeVarArc, GenericBoolImpliesTwoVarArc, GenericBoolImpliesXReflexArc, GenericBoolImpliesYReflexArc, GenericBoolOrArc, GenericBoolOrReflexArc, GenericBoolXorArc

public abstract class GenericBoolArc
extends GenericArc

Base class for generic boolean arcs


Field Summary
 
Fields inherited from interface jopt.csp.spi.arcalgorithm.graph.arc.Arc
BINARY, GENERIC, HYPER, NODE, SCHEDULE
 
Method Summary
 boolean isAnyXFalse()
          Returns true if any X node is false
 boolean isAnyXTrue()
          Returns true if any X node is true
 boolean isAnyYFalse()
          Returns true if any Y node is false
 boolean isAnyYTrue()
          Returns true if any Y node is true
 boolean isAnyZFalse()
          Returns true if any Z node is false
 boolean isAnyZTrue()
          Returns true if any Z node is false
 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.generic.GenericArc
getArcType, getComplexity, getSourceDependencies, getSourceNodes, getTargetNodes
 
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
 

Method Detail

isAnyXFalse

public boolean isAnyXFalse()
Returns true if any X node is false


isAnyYFalse

public boolean isAnyYFalse()
Returns true if any Y node is false


isAnyZFalse

public boolean isAnyZFalse()
Returns true if any Z node is false


isAnyXTrue

public boolean isAnyXTrue()
Returns true if any X node is true


isAnyYTrue

public boolean isAnyYTrue()
Returns true if any Y node is true


isAnyZTrue

public boolean isAnyZTrue()
Returns true if any Z node is false


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

Parameters:
src - Source node that caused propagation to occur
Throws:
jopt.csp.variable.PropagationFailureException - If domain of target node becomes empty