Package gprover

Class XTerm

  • public class XTerm
extends java.lang.Object
    Constructs a Var object with default values.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      Var var  

    • Constructor Summary

      Constructors 
      Constructor Description
      XTerm()
      Constructs an XTerm object with default values.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void cutMark()
      Removes the leading '+' character from the string representation of the term.
      long getPV()
      Returns the value of the prefix term.
      java.lang.String getString()
      Returns the trimmed string representation of the term without the leading '+' character.
      int getTermNumber()
      Returns the number of terms in the linked list of terms.
      java.lang.String toString()
      Returns the string representation of the term.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Field Detail

      • var

        public Var var

    • Constructor Detail

      • XTerm

        public XTerm()
        Constructs an XTerm object with default values.

    • Method Detail

      • getPV

        public long getPV()
        Returns the value of the prefix term.
        Returns:
        the value of the prefix term

      • toString

        public java.lang.String toString()
        Returns the string representation of the term.
        Overrides:
        toString in class java.lang.Object
        Returns:
        the string representation of the term

      • cutMark

        public void cutMark()
        Removes the leading '+' character from the string representation of the term.

      • getString

        public java.lang.String getString()
        Returns the trimmed string representation of the term without the leading '+' character.
        Returns:
        the trimmed string representation of the term

      • getTermNumber

        public int getTermNumber()
        Returns the number of terms in the linked list of terms.
        Returns:
        the number of terms in the linked list of terms