public class DOTPrinter
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
EMPTYWORD |
static boolean |
PRINTMARKINGSET |
| Constructor and Description |
|---|
DOTPrinter() |
| 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) |
public static java.lang.String EMPTYWORD
public static boolean PRINTMARKINGSET
public static void ToDOT(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.lang.String filename)
public static void ToDOT(MarkingGraph mg, java.lang.String filename)
public static void ToDOT(TransClosureGraph tcg, java.lang.String filename)
public static void ToDOT(org.deckfour.xes.model.XLog log,
java.lang.String filename)