jopt.csp.spi.arcalgorithm.constraint.bool
Interface BoolExpr

All Known Subinterfaces:
GenericBoolExpr
All Known Implementing Classes:
BooleanExpr, GenericBooleanExpr

public interface BoolExpr


Method Summary
 Arc[] getBooleanSourceArcs()
          Returns array of arcs that will affect the boolean true / false value of this constraint upon a change
 java.lang.String getName()
          Returns the name of this expression
 Node getNode()
          Retrieves node for an expression
 java.util.Collection getNodeCollection()
          Returns collection of all nodes used to build this expression
 boolean isBound()
          Returns true if this expression's domain is bound to a value
 boolean isFalse()
          Returns true if expression cannot be satisfied
 boolean isTrue()
          Returns true if expression cannot be dissatisfied
 BoolExpr notExpr()
          Returns a BoolExpr equal to the Not of this one
 jopt.csp.variable.CspConstraint toConstraint()
          Returns a constraint that represents this boolean expression that can be used in the solver
 void updateGraph(NodeArcGraph graph)
          Adds arcs representing this expression to the node arc graph
 

Method Detail

getName

public java.lang.String getName()
Returns the name of this expression


getNode

public Node getNode()
Retrieves node for an expression


updateGraph

public void updateGraph(NodeArcGraph graph)
Adds arcs representing this expression to the node arc graph


isFalse

public boolean isFalse()
Returns true if expression cannot be satisfied


isTrue

public boolean isTrue()
Returns true if expression cannot be dissatisfied


notExpr

public BoolExpr notExpr()
Returns a BoolExpr equal to the Not of this one


getNodeCollection

public java.util.Collection getNodeCollection()
Returns collection of all nodes used to build this expression


getBooleanSourceArcs

public Arc[] getBooleanSourceArcs()
Returns array of arcs that will affect the boolean true / false value of this constraint upon a change


isBound

public boolean isBound()
Returns true if this expression's domain is bound to a value


toConstraint

public jopt.csp.variable.CspConstraint toConstraint()
Returns a constraint that represents this boolean expression that can be used in the solver