org.processmining.maxsyncalignments.util

Class DOTPrinter

java.lang.Object

org.processmining.maxsyncalignments.util.DOTPrinter

public class DOTPrinter
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	EMPTYWORD
static boolean	PRINTMARKINGSET

Constructor Summary

Constructors

Constructor and Description
DOTPrinter()

Method Summary

Modifier and Type	Method and Description
static void	ToDOT(MarkingGraph mg, java.lang.String filename)
static void	ToDOT(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.lang.String filename)
static void	ToDOT(TransClosureGraph tcg, java.lang.String filename)
static void	ToDOT(org.deckfour.xes.model.XLog log, java.lang.String filename)

Methods inherited from class java.lang.Object

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

Field Detail

EMPTYWORD

public static java.lang.String EMPTYWORD

PRINTMARKINGSET

public static boolean PRINTMARKINGSET

Constructor Detail

DOTPrinter

public DOTPrinter()

Method Detail

ToDOT

public static void ToDOT(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                         java.lang.String filename)

ToDOT

public static void ToDOT(MarkingGraph mg,
                         java.lang.String filename)

ToDOT

public static void ToDOT(TransClosureGraph tcg,
                         java.lang.String filename)

ToDOT

public static void ToDOT(org.deckfour.xes.model.XLog log,
                         java.lang.String filename)