Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
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 |
---|
CospanDecomposeAction(Cospan cospan)
Creates a new
Action to decompose the cospan cospan . |
PrintAction(CospanPrinter printer,
Cospan cospan)
Creates an action which prints a cospan to a given printer.
|
SaveAction(Cospan cospan,
String filename)
Creates a new save action which saves the cospan
cospan as a cos file named by
filename . |
ShiftAutomatonAction(Automaton automaton,
Cospan cospan)
Creates an action which constructs the product automaton for two given automata.
|
Modifier and Type | Method and Description |
---|---|
CospanDecomposition |
DefaultCospanDecompositionAlgorithm.decompose(Cospan cospan) |
CospanDecomposition |
CospanDecompositionAlgorithm.decompose(Cospan cospan)
Returns a cospan decomposition of the cospan
cospan . |
Modifier and Type | Method and Description |
---|---|
static InformationPanel<Cospan> |
CospanInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given cospan decomposition.
|
Modifier and Type | Method and Description |
---|---|
static VisualGraph |
VisualGraph.getVisualGraph(Cospan cospan)
Converts a Raven cospan to its graph visualization.
|
void |
CospanView.print(Cospan cospan) |
Modifier and Type | Method and Description |
---|---|
static Cospan |
GXLReader.readCospan(String filename)
Reads a cospan from a GXL file and returns it.
|
Modifier and Type | Method and Description |
---|---|
void |
TextAreaPrinter.print(Cospan cospan) |
void |
CospanPrinter.print(Cospan cospan)
Prints a cospan to this printer.
|
void |
ConsolePrinter.print(Cospan cospan) |
void |
SVGWriter.write(Cospan cospan,
String filename) |
void |
GXLWriter.write(Cospan cospan,
String filename) |
void |
CospanWriter.write(Cospan cospan,
String filename)
Writes a cospan to the file specified by
filename . |