Interface AutomatonProvider

    • Method Detail

      • getAutomaton

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