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