Uses of Class
dk.brics.automaton.RunAutomaton

Uses of RunAutomaton in dk.brics.automaton

Methods in dk.brics.automaton that return RunAutomaton

static RunAutomaton	RunAutomaton.load(java.io.InputStream stream) Retrieves a serialized RunAutomaton from a stream.
static RunAutomaton	RunAutomaton.load(java.net.URL url) Retrieves a serialized RunAutomaton located by a URL.