Interface IFixedPointSystem<T extends IVariable>

    • Method Detail

      • 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