Class Transition

    • 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).
    • Constructor Detail

      • Transition

        public Transition()
        Sole constructor.