Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
de.uni_due.inf.ti.raven.cli |
Console UI Classes.
|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
de.uni_due.inf.ti.raven.gui.actions |
Classes used to invoke the different actions of the graphical user interface, e.g. load actions,
save action, ...
|
de.uni_due.inf.ti.raven.gui.graphs |
GUI Classes to visualize graphs.
|
de.uni_due.inf.ti.raven.io |
Classes to load, save and print data.
|
Class and Description |
---|
AutomatonPrinter
This interface offers methods to print graph automata.
|
BDDPrinter
This interface offers methods to print BDDs.
|
CospanPrinter
This interface offers methods to print cospans.
|
DecompositionPrinter
This interface offers methods to print decompositions.
|
DotPrinter
This class provides methods to print BDDs, cospan decompositions or graphs to files in
DOT format.
|
GraphPrinter
This interface offers methods to print graphs.
|
SignaturePrinter
This interface offers methods to print signatures.
|
Class and Description |
---|
RavenPrinter
This interface provides methods for printing different types of Raven data
structures.
|
Class and Description |
---|
GraphPrinter
This interface offers methods to print graphs.
|
Class and Description |
---|
RavenPrinter
This interface provides methods for printing different types of Raven data
structures.
|
Class and Description |
---|
BDDPrinter
This interface offers methods to print BDDs.
|
CospanPrinter
This interface offers methods to print cospans.
|
DecompositionPrinter
This interface offers methods to print decompositions.
|
EncodingPrinter
This interface offers methods to print encodings.
|
GraphPrinter
This interface offers methods to print graphs.
|
Class and Description |
---|
AutomatonFileWriter
This class provides operations for writing automata to files.
|
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.
|
ConsolePrinter
This class offers methods to print data to the console.
|
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.
|
GraphPrinter
This interface offers methods to print graphs.
|
GraphWriter
This interface offers methods to write a graph to a specific file.
|
GXLWriter
Writes a cospan or graph to a GXL file.
|
PlainTextWriter
Writes an automaton to a plain text 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.
|
TextAreaPrinter
This class offers methods to print data to a specified
JTextArea . |