public interface IFixedPointStatement<T extends IVariable> extends INodeWithNumber
IFixedPointStatementis part of (x represents the left-hand side of the
constraint). The interpretation of term (the right-hand side of the
constraint) must be monotone.
The list of free variables in term is obtained by invoking getRHS(),
and the left hand side variable is obtained by calling getLHS().
| Modifier and Type | Method and Description |
|---|---|
byte |
evaluate()
Evaluate this statement, setting a new value for the left-hand side.
|
T |
getLHS() |
T[] |
getRHS()
returns the list of free variables appearing in the right-hand side of the
statement
|
boolean |
hasVariable(T v)
Does this statement definition contain an appearance of a given variable?
|
getGraphNodeId, setGraphNodeIdT getLHS()
T[] getRHS()
byte evaluate()
boolean hasVariable(T v)
v - the variable in question