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. |