Class RunAutomaton

    • Constructor Summary

      Constructors 
      Constructor Description
      RunAutomaton​(Automaton a, int maxInterval, boolean tableize)
      Constructs a new RunAutomaton from a deterministic Automaton.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)  
      int[] getCharIntervals()
      Returns array of codepoint class interval start points.
      int getInitialState()
      Returns initial state.
      int getSize()
      Returns number of states in automaton.
      int hashCode()  
      boolean isAccept​(int state)
      Returns acceptance status for given state.
      int step​(int state, int c)
      Returns the state obtained by reading the given char from the given state.
      java.lang.String toString()
      Returns a string representation of this automaton.
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • 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 java.lang.String toString()
        Returns a string representation of this automaton.
        Overrides:
        toString in class java.lang.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 java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object