Uses of Interface
net.automatalib.visualization.VisualizationProvider
-
Packages that use VisualizationProvider Package Description net.automatalib.visualization This package contains several approaches for the visualization of the different types of automata, transition systems, and graphs supported by AutomataLib.net.automatalib.visualization.dot net.automatalib.visualization.jung -
-
Uses of VisualizationProvider in net.automatalib.visualization
Classes in net.automatalib.visualization that implement VisualizationProvider Modifier and Type Class Description class
DummyVP
Methods in net.automatalib.visualization that return VisualizationProvider Modifier and Type Method Description VisualizationProvider
VPManager. getBestProvider()
@Nullable VisualizationProvider
VPManager. getProviderById(String id)
Methods in net.automatalib.visualization with parameters of type VisualizationProvider Modifier and Type Method Description void
VPManager. registerProvider(VisualizationProvider vp)
-
Uses of VisualizationProvider in net.automatalib.visualization.dot
Classes in net.automatalib.visualization.dot that implement VisualizationProvider Modifier and Type Class Description class
GraphVizBrowserVisualizationProvider
class
GraphVizSwingVisualizationProvider
-
Uses of VisualizationProvider in net.automatalib.visualization.jung
Classes in net.automatalib.visualization.jung that implement VisualizationProvider Modifier and Type Class Description class
JungGraphVisualizationProvider
-