| Interface | Description |
|---|---|
| AutomatonPrinter |
This interface offers methods to print graph automata.
|
| AutomatonReader |
This interface provides methods to read graph automata from files.
|
| AutomatonWriter |
This interface offers methods to write a graph automaton to a specific file.
|
| BDDPrinter |
This interface offers methods to print BDDs.
|
| CospanPrinter |
This interface offers methods to print cospans.
|
| CospanWriter |
This interface offers methods to write a cospan to a specific file.
|
| DecompositionPrinter |
This interface offers methods to print decompositions.
|
| EncodingPrinter |
This interface offers methods to print encodings.
|
| ExecutionPrinter |
This interface offers methods to print a run of an graph automaton.
|
| GraphPrinter |
This interface offers methods to print graphs.
|
| GraphWriter |
This interface offers methods to write a graph to a specific file.
|
| RavenPrinter |
This interface provides methods for printing different types of Raven data
structures.
|
| RavenReader |
This interface is the basis for all readers implemented in Raven.
|
| RunPrinter |
This interface offers methods to print the run of an automata on a cospan decomposition.
|
| SignaturePrinter |
This interface offers methods to print signatures.
|
| SignatureReader |
This interface provides methods for reading signatures.
|
| Class | Description |
|---|---|
| AutomatonFileReader |
This class provides operations for reading automata from files.
|
| AutomatonFileWriter |
This class provides operations for writing automata to files.
|
| CommandReader |
Reads commands from a command file or an input stream.
|
| ConsolePrinter |
This class offers methods to print data to the console.
|
| CospanDecompositionFileWriter |
Class for writing operation files containing a list of operations from which a
cospan decomposition can be obtained.
|
| DotPrinter |
This class provides methods to print BDDs, cospan decompositions or graphs to files in
DOT format.
|
| GXLErrorHandler |
This class provides an XML error handler which logs paerser exception occuring
during processing GXL files.
|
| GXLReader |
This class provides operations for reading graphs and cospans from files.
|
| GXLWriter |
Writes a cospan or graph to a GXL file.
|
| OperationFileReader |
Class for reading operation files containing a list of operations from which a
cospan decomposition can be obtained.
|
| PlainTextWriter |
Writes an automaton to a plain text file.
|
| SignatureFilePrinter |
This class provides operations for writing signatures to files.
|
| SignatureFileReader |
This class provides operation for reading signatures from files.
|
| SVGWriter |
Writes a cospan or graph to a SVG file.
|
| TextAreaPrinter |
This class offers methods to print data to a specified
JTextArea. |
| TextfieldInputStream |
This class provides an
InputStream from which the contents of the
specified JTextField can be read. |
| TextTable |
This class provides a simple text table which can be used to structure
contents in a table-like manner.
|