public interface IFixedPointStatement<T extends IVariable> extends INodeWithNumber
IFixedPointStatement
is 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, setGraphNodeId
T getLHS()
T[] getRHS()
byte evaluate()
boolean hasVariable(T v)
v
- the variable in question