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