C D G I N R S V
All Classes All Packages

C

checkUsable() - Static method in class net.automatalib.visualization.dot.DOT

Checks whether the DOT utility can be successfully invoked.

checkUsable() - Method in class net.automatalib.visualization.dot.GraphVizBrowserVisualizationProvider

checkUsable() - Method in class net.automatalib.visualization.dot.GraphVizSwingVisualizationProvider

D

DOT - Class in net.automatalib.visualization.dot

Utility class to simplify operating the GraphVIZ "dot" utility.

G

getId() - Method in class net.automatalib.visualization.dot.GraphVizBrowserVisualizationProvider

getId() - Method in class net.automatalib.visualization.dot.GraphVizSwingVisualizationProvider

getPriority() - Method in class net.automatalib.visualization.dot.GraphVizBrowserVisualizationProvider

getPriority() - Method in class net.automatalib.visualization.dot.GraphVizSwingVisualizationProvider

GraphVizBrowserVisualizationProvider - Class in net.automatalib.visualization.dot

GraphVizBrowserVisualizationProvider() - Constructor for class net.automatalib.visualization.dot.GraphVizBrowserVisualizationProvider

GraphVizSwingVisualizationProvider - Class in net.automatalib.visualization.dot

GraphVizSwingVisualizationProvider() - Constructor for class net.automatalib.visualization.dot.GraphVizSwingVisualizationProvider

I

ID - Static variable in class net.automatalib.visualization.dot.GraphVizBrowserVisualizationProvider

the id of this VisualizationProvider.

ID - Static variable in class net.automatalib.visualization.dot.GraphVizSwingVisualizationProvider

the id of this VisualizationProvider.

N

net.automatalib.visualization.dot - package net.automatalib.visualization.dot

R

renderDOT(File, boolean) - Static method in class net.automatalib.visualization.dot.DOT

Renders a GraphVIZ description from a File and displays it in a Swing window.

renderDOT(Reader, boolean) - Static method in class net.automatalib.visualization.dot.DOT

Renders a GraphVIZ description from a Reader and displays it in a Swing window.

renderDOT(String, boolean) - Static method in class net.automatalib.visualization.dot.DOT

Renders a GraphVIZ description and displays it in a Swing window.

renderDOTExternal(File, String) - Static method in class net.automatalib.visualization.dot.DOT

Renders a GraphVIZ description from a file, using an external program for displaying.

renderDOTExternal(Reader, String) - Static method in class net.automatalib.visualization.dot.DOT

Renders a GraphVIZ description, using an external program for displaying.

renderDOTExternal(String, String) - Static method in class net.automatalib.visualization.dot.DOT

Renders a GraphVIZ description from a string, using an external program for displaying.

renderDOTFiles(List<Pair<String, File>>, boolean) - Static method in class net.automatalib.visualization.dot.DOT

Renders multiple (named) GraphVIZ descriptions from Files and displays them in a Swing window.

renderDOTImage(File) - Static method in class net.automatalib.visualization.dot.DOT

Reads a DOT description from a file and returns the PNG rendering result as a BufferedImage.

renderDOTImage(Reader) - Static method in class net.automatalib.visualization.dot.DOT

Reads a DOT description from a reader and returns the PNG rendering result as a BufferedImage.

renderDOTImage(String) - Static method in class net.automatalib.visualization.dot.DOT

Reads a DOT description from a string and returns the PNG rendering result as a BufferedImage.

renderDOTReaders(List<Pair<String, Reader>>, boolean) - Static method in class net.automatalib.visualization.dot.DOT

Renders multiple (named) GraphVIZ descriptions from Readers and displays them in a Swing window.

renderDOTStrings(List<Pair<String, String>>, boolean) - Static method in class net.automatalib.visualization.dot.DOT

Renders multiple (named) GraphVIZ descriptions and displays them in a Swing window.

runDOT(File, String, File) - Static method in class net.automatalib.visualization.dot.DOT

Invokes the DOT utility on a file, producing an output file.

runDOT(File, String, String...) - Static method in class net.automatalib.visualization.dot.DOT

Invokes the DOT utility on a file.

runDOT(Reader, String, File) - Static method in class net.automatalib.visualization.dot.DOT

Invokes the GraphVIZ DOT utility for rendering graphs, writing output to the specified file.

runDOT(Reader, String, String...) - Static method in class net.automatalib.visualization.dot.DOT

Invokes the GraphVIZ DOT utility for rendering graphs.

runDOT(String, String, File) - Static method in class net.automatalib.visualization.dot.DOT

Invokes the DOT utility on a string, producing an output file.

runDOT(String, String, String...) - Static method in class net.automatalib.visualization.dot.DOT

Invokes the DOT utility on a string.

S

setDotExe(String) - Static method in class net.automatalib.visualization.dot.DOT

Explicitly sets the path to the DOT utility executable.

V

visualize(Graph<N, E>, List<VisualizationHelper<N, ? super E>>, boolean, Map<String, String>) - Method in class net.automatalib.visualization.dot.GraphVizBrowserVisualizationProvider

visualize(Graph<N, E>, List<VisualizationHelper<N, ? super E>>, boolean, Map<String, String>) - Method in class net.automatalib.visualization.dot.GraphVizSwingVisualizationProvider

C D G I N R S V
All Classes All Packages