|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
public java.lang.String getName()
public Node getNode()
public void updateGraph(NodeArcGraph graph)
public boolean isFalse()
public boolean isTrue()
public BoolExpr notExpr()
public java.util.Collection getNodeCollection()
public Arc[] getBooleanSourceArcs()
public boolean isBound()
public jopt.csp.variable.CspConstraint toConstraint()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |