- rename() - Method in class net.automatalib.visualization.dot.DOTPanel
-
- renderDOT(File, boolean) - Static method in class net.automatalib.visualization.dot.DOT
-
Renders a GraphVIZ description from a string and displays it in a Swing window.
- renderDOT(Reader, boolean) - Static method in class net.automatalib.visualization.dot.DOT
-
Renders a GraphVIZ description and displays it in a Swing window.
- renderDOT(String, boolean) - Static method in class net.automatalib.visualization.dot.DOT
-
Renders a GraphVIZ description from a string and displays it in a Swing window.
- 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.
- renderDOTExternal(Reader, String) - Static method in class net.automatalib.visualization.dot.DOT
-
Renders a GraphVIZ description, using an external program for displaying.
- 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.
- 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
.
- 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(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
.
- runDOT(String, String, String...) - Static method in class net.automatalib.visualization.dot.DOT
-
Invokes the DOT utility on a string.
- runDOT(Reader, String, String...) - Static method in class net.automatalib.visualization.dot.DOT
-
Invokes the GraphVIZ DOT utility for rendering graphs.
- runDOT(File, String, String...) - Static method in class net.automatalib.visualization.dot.DOT
-
Invokes the DOT utility on a file.
- 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(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(File, String, File) - Static method in class net.automatalib.visualization.dot.DOT
-
Invokes the DOT utility on a file, producing an output file.