Package gprover

Class DTerm

  • public class DTerm
extends java.lang.Object
    The DTerm class represents a term in a polynomial with a specific degree. It includes properties for the degree, the term itself, the next term in the list, and a string representation of the term.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      int deg
      The degree of the term.
      DTerm nx
      The next term in the list.
      XTerm p
      The term itself.
      java.lang.String text
      The string representation of the term.

    • Constructor Summary

      Constructors 
      Constructor Description
      DTerm()
      Constructs a DTerm object with default values.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      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

      • deg

        public int deg
        The degree of the term.

      • p

        public XTerm p
        The term itself.

      • nx

        public DTerm nx
        The next term in the list.

      • text

        public java.lang.String text
        The string representation of the term.

    • Constructor Detail

      • DTerm

        public DTerm()
        Constructs a DTerm object with default values.

    • Method Detail

      • 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