public interface IFixedPointSystem<T extends IVariable<T>>
IFixedPointStatements 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<? extends INodeWithNumber> |
getStatements()
Return an Iterator of the
IFixedPointStatements in this system |
Iterator<? extends INodeWithNumber> |
getStatementsThatDef(T v) |
Iterator<? extends INodeWithNumber> |
getStatementsThatUse(T v) |
Iterator<? extends INodeWithNumber> |
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<? extends INodeWithNumber> getStatements()
IFixedPointStatements in this systemIterator<Constraint>Iterator<? extends INodeWithNumber> getVariables()
boolean containsStatement(IFixedPointStatement<T> s)
boolean containsVariable(T v)
Iterator<? extends INodeWithNumber> getStatementsThatUse(T v)
Iterator<statement>, the statements that use the variableIterator<? extends INodeWithNumber> getStatementsThatDef(T v)
Iterator<statement>, the statements that def the variableint getNumberOfStatementsThatUse(T v)
int getNumberOfStatementsThatDef(T v)
void reorder()