| Package | Description |
|---|---|
| dk.brics.automaton |
| Modifier and Type | Method and Description |
|---|---|
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. |