Class OrdTermState

  • All Implemented Interfaces:
    java.lang.Cloneable
    Direct Known Subclasses:
    BlockTermState

    public class OrdTermState
    extends TermState
    An ordinal based TermState
    • Field Summary

      Fields 
      Modifier and Type Field Description
      long ord
      Term ordinal, i.e.
    • Constructor Summary

      Constructors 
      Constructor Description
      OrdTermState()
      Sole constructor.
    • Field Detail

      • ord

        public long ord
        Term ordinal, i.e. it's position in the full list of sorted terms.
    • Constructor Detail

      • OrdTermState

        public OrdTermState()
        Sole constructor.
    • Method Detail

      • copyFrom

        public void copyFrom​(TermState other)
        Description copied from class: TermState
        Copies the content of the given TermState to this instance
        Specified by:
        copyFrom in class TermState
        Parameters:
        other - the TermState to copy
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class TermState