Modifier and Type | Method and Description |
---|---|
static RunAutomaton |
RunAutomaton.load(InputStream stream)
Retrieves a serialized
RunAutomaton from a stream. |
static RunAutomaton |
RunAutomaton.load(URL url)
Retrieves a serialized
RunAutomaton located by a URL. |
Copyright © 2020. All rights reserved.