Package | Description |
---|---|
de.uni_due.inf.ti.raven.io |
Classes to load, save and print data.
|
Modifier and Type | Class and Description |
---|---|
class |
AutomatonFileWriter
This class provides operations for writing automata to files.
|
class |
PlainTextWriter
Writes an automaton to a plain text file.
|