Package com.ibm.wala.fixpoint
Interface IFixedPointSystem<T extends IVariable<T>>
-
- All Known Implementing Classes:
DefaultFixedPointSystem
public interface IFixedPointSystem<T extends IVariable<T>>
Represents a set ofIFixedPointStatement
s to be solved by aIFixedPointSolver
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
addStatement(IFixedPointStatement<T> statement)
Add a statement to the systemboolean
containsStatement(IFixedPointStatement<T> s)
boolean
containsVariable(T v)
int
getNumberOfStatementsThatDef(T v)
int
getNumberOfStatementsThatUse(T v)
java.util.Iterator<? extends INodeWithNumber>
getStatements()
Return an Iterator of theIFixedPointStatement
s in this systemjava.util.Iterator<? extends INodeWithNumber>
getStatementsThatDef(T v)
java.util.Iterator<? extends INodeWithNumber>
getStatementsThatUse(T v)
java.util.Iterator<? extends INodeWithNumber>
getVariables()
Return an Iterator of the variables in this graphvoid
removeStatement(IFixedPointStatement<T> statement)
removes a given statementvoid
reorder()
reorder the statements in this system
-
-
-
Method Detail
-
removeStatement
void removeStatement(IFixedPointStatement<T> statement)
removes a given statement
-
addStatement
void addStatement(IFixedPointStatement<T> statement)
Add a statement to the system
-
getStatements
java.util.Iterator<? extends INodeWithNumber> getStatements()
Return an Iterator of theIFixedPointStatement
s in this system- Returns:
Iterator
<Constraint>
-
getVariables
java.util.Iterator<? extends INodeWithNumber> getVariables()
Return an Iterator of the variables in this graph- Returns:
Iterator
<IVariable
>
-
containsStatement
boolean containsStatement(IFixedPointStatement<T> s)
- Returns:
- true iff this system already contains an equation that is equal() to s
-
containsVariable
boolean containsVariable(T v)
- Returns:
- true iff this system already contains a variable that is equal() to v.
-
getStatementsThatUse
java.util.Iterator<? extends INodeWithNumber> getStatementsThatUse(T v)
- Returns:
Iterator
<statement>, the statements that use the variable
-
getStatementsThatDef
java.util.Iterator<? extends INodeWithNumber> getStatementsThatDef(T v)
- Returns:
Iterator
<statement>, the statements that def the variable
-
getNumberOfStatementsThatUse
int getNumberOfStatementsThatUse(T v)
-
getNumberOfStatementsThatDef
int getNumberOfStatementsThatDef(T v)
-
reorder
void reorder()
reorder the statements in this system
-
-