Class FiniteStringsIterator.PathNode

  • Enclosing class:
    FiniteStringsIterator

    private static class FiniteStringsIterator.PathNode
    extends java.lang.Object
    Nodes for path stack.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      int label
      Which label we are on, in the min-max range of the current Transition
      int state
      Which state the path node ends on, whose transitions we are enumerating.
      private Transition t  
      int to
      Which state the current transition leads to.
      int transition
      Which transition we are on.
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private PathNode()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int nextLabel​(Automaton a)
      Returns next label of current transition, or advances to next transition and returns its first label, if current one is exhausted.
      void resetState​(Automaton a, int state)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • state

        public int state
        Which state the path node ends on, whose transitions we are enumerating.
      • to

        public int to
        Which state the current transition leads to.
      • transition

        public int transition
        Which transition we are on.
      • label

        public int label
        Which label we are on, in the min-max range of the current Transition
    • Constructor Detail

      • PathNode

        private PathNode()
    • Method Detail

      • resetState

        public void resetState​(Automaton a,
                               int state)
      • nextLabel

        public int nextLabel​(Automaton a)
        Returns next label of current transition, or advances to next transition and returns its first label, if current one is exhausted. If there are no more transitions, returns -1.