IFixedPointSystem (API Reference for wala 1.3.9)

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

All Methods Instance Methods Abstract Methods
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`	`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

- 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 getStatements()
```
    Return an Iterator of the IFixedPointStatements in this system
    
    Returns:
    
    Iterator
  - getVariables
```
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
```
Iterator getStatementsThatUse(T v)
```
    Returns:
    
    Iterator , the statements that use the variable
  - getStatementsThatDef
```
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