Package com.ibm.wala.fixpoint

Interface IFixedPointSystem<T extends IVariable<T>>

All Known Implementing Classes:
DefaultFixedPointSystem, PropagationGraph
public interface IFixedPointSystem<T extends IVariable<T>>
Represents a set of IFixedPointStatements to be solved by a IFixedPointSolver

  • Method Details

    • 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