Class TransitionTable


  • public class TransitionTable
    extends java.lang.Object
    • Constructor Detail

      • TransitionTable

        public TransitionTable()
    • Method Detail

      • addEverythingElse

        public void addEverythingElse​(State s,
                                      Transition action)
      • getEverythingElse

        public Transition getEverythingElse​(State s)
        Gets the transition associated to EVERYTHING_ELSE alphabet in the given state if any. Or null.
      • list

        public TransitionTable.Entry[] list​(State s)
        Lists all entries of the transition table with the specified state in terms of TrnasitionTable.Entry. The resulting array is sorted in the order of Transition.