com.ibm.wala.fixpoint
Interface IFixedPointSystem<T extends IVariable>

All Known Implementing Classes:

DefaultFixedPointSystem, PropagationGraph

public interface IFixedPointSystem<T extends IVariable>

Represents a set of IFixedPointStatements to be solved by a IFixedPointSolver

Method Summary

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)
java.util.Iterator	getStatements() Return an Iterator of the IFixedPointStatements in this system
java.util.Iterator	getStatementsThatDef(T v)
java.util.Iterator	getStatementsThatUse(T v)
java.util.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

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 getStatements()

Return an Iterator of the IFixedPointStatements in this system

Returns:

Iterator

getVariables

java.util.Iterator getVariables()

Return an Iterator of the variables in this graph

Returns:

Iterator

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 getStatementsThatUse(T v)

Returns:

Iterator , the statements that use the variable

getStatementsThatDef

java.util.Iterator getStatementsThatDef(T v)

Returns:

Iterator , 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