Package | Description |
---|---|
net.automatalib.visualization | |
net.automatalib.visualization.dot | |
net.automatalib.visualization.jung |
Modifier and Type | Class and Description |
---|---|
class |
DummyVP |
Modifier and Type | Method and Description |
---|---|
VisualizationProvider |
VPManager.getBestProvider() |
VisualizationProvider |
VPManager.getProviderById(String id) |
Modifier and Type | Method and Description |
---|---|
void |
VPManager.registerProvider(VisualizationProvider vp) |
Modifier and Type | Class and Description |
---|---|
class |
GraphVizBrowserVisualizationProvider |
class |
GraphVizSwingVisualizationProvider |
Modifier and Type | Class and Description |
---|---|
class |
JungGraphVisualizationProvider |
Copyright © 2019. All rights reserved.