net.automatalib.util.graphs.dot.visualization

Class GraphVizBrowserVisualizationProvider

java.lang.Object

net.automatalib.util.graphs.dot.visualization.GraphVizBrowserVisualizationProvider

All Implemented Interfaces:

VisualizationProvider

public class GraphVizBrowserVisualizationProvider
extends Object
implements VisualizationProvider

Constructor Summary

Constructors

Constructor and Description
GraphVizBrowserVisualizationProvider()

Method Summary

Modifier and Type	Method and Description
boolean	checkUsable()
String	getId()
int	getPriority()
<N,E> void	visualize(Graph<N,E> graph, GraphDOTHelper<N,? super E> helper, 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, getName

Constructor Detail

GraphVizBrowserVisualizationProvider

public GraphVizBrowserVisualizationProvider()

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,
                            GraphDOTHelper<N,? super E> helper,
                            boolean modal,
                            Map<String,String> visOptions)

Specified by:

visualize in interface VisualizationProvider