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 of IFixedPointStatements to be solved by a IFixedPointSolver

Method Summary

Modifier and Type	Method	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

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

Iterator<? extends INodeWithNumber> getStatements()

Return an Iterator of the IFixedPointStatements in this system

Returns:

Iterator<Constraint>

getVariables

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

Iterator<? extends INodeWithNumber> getStatementsThatUse(T v)

Returns:

Iterator<statement>, the statements that use the variable

getStatementsThatDef

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