Package net.automatalib.visualization.dot

Class GraphVizSwingVisualizationProvider

java.lang.Object

net.automatalib.visualization.dot.GraphVizSwingVisualizationProvider

All Implemented Interfaces:

VisualizationProvider

@MetaInfServices(net.automatalib.visualization.VisualizationProvider.class)
public class GraphVizSwingVisualizationProvider
extends Object
implements VisualizationProvider

Field Summary

Fields

Modifier and Type	Field	Description
static String	ID	the id of this VisualizationProvider.

Constructor Summary

Constructors

Constructor	Description
GraphVizSwingVisualizationProvider()

Method Summary

Modifier and Type	Method	Description
boolean	checkUsable()
String	getId()
int	getPriority()
<N,E> void	visualize(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers, boolean modal, Map<String,String> visOptions)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.visualization.VisualizationProvider

getDescription

Field Detail

ID

public static final String ID

the id of this VisualizationProvider.

See Also:

Constant Field Values

Constructor Detail

GraphVizSwingVisualizationProvider

public GraphVizSwingVisualizationProvider()

Method Detail

getId

public String getId()

Specified by:

getId in interface VisualizationProvider

getPriority

public int getPriority()

Specified by:

getPriority in interface VisualizationProvider

checkUsable

public boolean checkUsable()

Specified by:

checkUsable in interface VisualizationProvider

visualize

public <N,E> void visualize(Graph<N,E> graph,
                                  List<VisualizationHelper<N,? super E>> additionalHelpers,
                                  boolean modal,
                                  Map<String,String> visOptions)

Specified by:

visualize in interface VisualizationProvider