Package | Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
static VisualGraph |
VisualGraph.getVisualGraph(Automaton automaton,
CospanDecomposition decomposition)
Creates a graph visualization of the run of the automaton
automaton on
the decomposition decomposition . |
static VisualGraph |
VisualGraph.getVisualGraph(Cospan cospan)
Converts a Raven cospan to its graph visualization.
|
static VisualGraph |
VisualGraph.getVisualGraph(Graph graph)
Converts a Raven graph to its graph visualization.
|
Modifier and Type | Method and Description |
---|---|
void |
SVGWriter.write(VisualGraph graph,
String filename)
Writes a graph to the file specified by
filename . |