Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
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.
|
Constructor and Description |
---|
PrintAction(GraphPrinter printer,
Graph graph)
Creates an action which prints a graph to a given printer.
|
Modifier and Type | Class and Description |
---|---|
class |
GraphWindow
This class provides a window which is used to display a single graph.
|
Modifier and Type | Class and Description |
---|---|
class |
GraphView
This class provides a
VisualGraph to visualize graphs. |
Modifier and Type | Interface and Description |
---|---|
interface |
RavenPrinter
This interface provides methods for printing different types of Raven data
structures.
|
Modifier and Type | Class and Description |
---|---|
class |
ConsolePrinter
This class offers methods to print data to the console.
|
class |
DotPrinter
This class provides methods to print BDDs, cospan decompositions or graphs to files in
DOT format.
|
class |
TextAreaPrinter
This class offers methods to print data to a specified
JTextArea . |