|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |