Interface Term<T>

    • Method Summary

      Modifier and Type Method Description
      Term<?> clone()
      Creates a deep copy of the term
      T get()  
      Sort getSort()  
      void set​(T value)
      Changes the java-object representation of the term to the given value.
      Term<?> substitute​(Term<?> v, Term<?> t)
      Substitutes all occurrences of term "v" in this term by term "t" and returns the new term.
    • Method Detail

      • set

        void set​(T value)
        Changes the java-object representation of the term to the given value.
        Parameters:
        value - The new java-object representation of the term.
      • get

        T get()
        Returns:
        the java-object representation of the term.
      • substitute

        Term<?> substitute​(Term<?> v,
                           Term<?> t)
                    throws java.lang.IllegalArgumentException
        Substitutes all occurrences of term "v" in this term by term "t" and returns the new term.
        Parameters:
        v - the term to be substituted.
        t - the term to substitute.
        Returns:
        a term where every occurrence of "v" is replaced by "t".
        Throws:
        java.lang.IllegalArgumentException - if "v" and "t" are of different sorts (NOTE: this exception is only thrown when "v" actually appears in this formula)
      • getSort

        Sort getSort()
        Returns:
        the sort (type) of this term.
      • clone

        Term<?> clone()
        Creates a deep copy of the term
        Returns:
        the clone