Interface AutomatonProvider

    • Method Detail

      • getAutomaton

        Automaton getAutomaton​(String name)
                        throws IOException
        Returns automaton of the given name.
        Parameters:
        name - automaton name
        Returns:
        automaton
        Throws:
        IOException - if errors occur