Class RunAutomaton

    • Constructor Detail

      • RunAutomaton

        public RunAutomaton​(Automaton a,
                            int maxInterval,
                            boolean tableize)
        Constructs a new RunAutomaton from a deterministic Automaton.
        Parameters:
        a - an automaton
    • Method Detail

      • toString

        public String toString()
        Returns a string representation of this automaton.
        Overrides:
        toString in class Object
      • getSize

        public final int getSize()
        Returns number of states in automaton.
      • isAccept

        public final boolean isAccept​(int state)
        Returns acceptance status for given state.
      • getInitialState

        public final int getInitialState()
        Returns initial state.
      • getCharIntervals

        public final int[] getCharIntervals()
        Returns array of codepoint class interval start points. The array should not be modified by the caller.
      • step

        public final int step​(int state,
                              int c)
        Returns the state obtained by reading the given char from the given state. Returns -1 if not obtaining any such state. (If the original Automaton had no dead states, -1 is returned here if and only if a dead state is entered in an equivalent automaton with a total transition function.)
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class Object