public interface IFixedPointStatement<T extends IVariable<T>> 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(). Intuitively, a statement definition
corresponds to an "equation" in dataflow parlance, or a "constraint" in constraint solvers.
| 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