Class Transition

    • Field Summary

      Fields 
      Modifier and Type Field Description
      int dest
      Destination state.
      int max
      Maximum accepted label (inclusive).
      int min
      Minimum accepted label (inclusive).
      int source
      Source state.
      (package private) int transitionUpto
      Remembers where we are in the iteration; init to -1 to provoke exception if nextTransition is called without first initTransition.
    • Constructor Summary

      Constructors 
      Constructor Description
      Transition()
      Sole constructor.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

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

      • source

        public int source
        Source state.
      • dest

        public int dest
        Destination state.
      • min

        public int min
        Minimum accepted label (inclusive).
      • max

        public int max
        Maximum accepted label (inclusive).
      • transitionUpto

        int transitionUpto
        Remembers where we are in the iteration; init to -1 to provoke exception if nextTransition is called without first initTransition.
    • Constructor Detail

      • Transition

        public Transition()
        Sole constructor.
    • Method Detail

      • toString

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