Class TermState

    • Constructor Detail

      • TermState

        protected TermState()
        Sole constructor. (For invocation by subclass constructors, typically implicit.)
    • Method Detail

      • copyFrom

        public abstract void copyFrom​(TermState other)
        Copies the content of the given TermState to this instance
        Parameters:
        other - the TermState to copy
      • clone

        public TermState clone()
        Overrides:
        clone in class java.lang.Object
      • toString

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