public interface IFixedPointSystem<T extends IVariable>
IFixedPointStatement
s to be solved by a IFixedPointSolver
Modifier and Type | Method and Description |
---|---|
void |
addStatement(IFixedPointStatement<T> statement)
Add a statement to the system
|
boolean |
containsStatement(IFixedPointStatement<T> s) |
boolean |
containsVariable(T v) |
int |
getNumberOfStatementsThatDef(T v) |
int |
getNumberOfStatementsThatUse(T v) |
Iterator |
getStatements()
Return an Iterator of the
IFixedPointStatement s in this system |
Iterator |
getStatementsThatDef(T v) |
Iterator |
getStatementsThatUse(T v) |
Iterator |
getVariables()
Return an Iterator of the variables in this graph
|
void |
removeStatement(IFixedPointStatement<T> statement)
removes a given statement
|
void |
reorder()
reorder the statements in this system
|
void removeStatement(IFixedPointStatement<T> statement)
void addStatement(IFixedPointStatement<T> statement)
Iterator getStatements()
IFixedPointStatement
s in this systemIterator getVariables()
boolean containsStatement(IFixedPointStatement<T> s)
boolean containsVariable(T v)
Iterator getStatementsThatUse(T v)
Iterator getStatementsThatDef(T v)
int getNumberOfStatementsThatUse(T v)
int getNumberOfStatementsThatDef(T v)
void reorder()