Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action 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(DecompositionPrinter printer,
CospanDecomposition decomposition)
Creates an action which prints a graph decomposition to a given printer.
|
PrintAction(DecompositionPrinter printer,
GraphDecomposition decomposition)
Creates an action which prints a graph decomposition to a given printer.
|
Modifier and Type | Class and Description |
---|---|
class |
DecompositionView
This class provides a
Display to visualize graph decompositions. |
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 . |