Package | Description |
---|---|
de.uni_due.inf.ti.graph.io | |
de.uni_due.inf.ti.graph.visual |
The classes of this package provide an interface between the Hypergraph
Library and the VisiGraph graph visualization library.
|
Modifier and Type | Method and Description |
---|---|
GraphVisualizer |
PngExporter.getVisualizer()
Returns the GraphVisualizer which is used to transform Graph instances
to VxGraph instances.
|
Modifier and Type | Method and Description |
---|---|
void |
PngExporter.setVisualizer(GraphVisualizer visualizer)
Sets the GraphVisualizer object which transforms Graph instances to
VxGraph instances.
|
Modifier and Type | Method and Description |
---|---|
GraphVisualizer |
TransitionSystemPanel.getVisualizer()
Returns the visualizer objects which is used to generate visualizations
of graphs, transitions and transition systems.
|
Modifier and Type | Method and Description |
---|---|
void |
TransitionSystemPanel.setVisualizer(GraphVisualizer vis)
Sets the visualizer objects which is used to generate visualizations
of graph, transitions and transition systems.
|