public class DOTExporter
extends java.lang.Object
Constructor and Description |
---|
DOTExporter() |
Modifier and Type | Method and Description |
---|---|
static void |
exportToDot(Automaton a,
java.lang.String name,
java.io.Writer w) |
public static void exportToDot(Automaton a, java.lang.String name, java.io.Writer w)