Class StateRef


  • public class StateRef
    extends java.lang.Object
    DOCUMENT ME
    Version:
    $LastChangedRevision$
    • Field Detail

      • symbol

        private int symbol
      • freq

        private int freq
      • successor

        private int successor
    • Constructor Detail

      • StateRef

        public StateRef()
    • Method Detail

      • getSymbol

        public int getSymbol()
      • setSymbol

        public void setSymbol​(int symbol)
      • getFreq

        public int getFreq()
      • setFreq

        public void setFreq​(int freq)
      • incFreq

        public void incFreq​(int dFreq)
      • decFreq

        public void decFreq​(int dFreq)
      • setValues

        public void setValues​(State statePtr)
      • getSuccessor

        public int getSuccessor()
      • setSuccessor

        public void setSuccessor​(PPMContext successor)
      • setSuccessor

        public void setSuccessor​(int successor)
      • toString

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