org.processmining.ltl2automaton.plugins.automaton

Class DOTExporter

java.lang.Object

org.processmining.ltl2automaton.plugins.automaton.DOTExporter

public class DOTExporter
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DOTExporter()

Method Summary

Modifier and Type	Method and Description
static void	exportToDot(Automaton a, java.lang.String name, java.io.Writer w)

Methods inherited from class java.lang.Object

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

Constructor Detail

DOTExporter

public DOTExporter()

Method Detail

exportToDot

public static void exportToDot(Automaton a,
                               java.lang.String name,
                               java.io.Writer w)