Interface IFixedPointSystem<T extends IVariable<T>>

    • Method Detail

      • getVariables

        java.util.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

        java.util.Iterator<? extends INodeWithNumber> getStatementsThatUse​(T v)
        Returns:
        Iterator<statement>, the statements that use the variable
      • getStatementsThatDef

        java.util.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