public class FootPrint
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
FootPrint.DfgUnfoldedNode |
Constructor and Description |
---|
FootPrint() |
Modifier and Type | Method and Description |
---|---|
static boolean |
compareActivities(java.lang.String[] a,
java.lang.String[] b) |
static FootPrint.DfgUnfoldedNode |
makeDfg(org.processmining.processtree.conversion.ProcessTree2Petrinet.UnfoldedNode unode) |
public static FootPrint.DfgUnfoldedNode makeDfg(org.processmining.processtree.conversion.ProcessTree2Petrinet.UnfoldedNode unode)
public static boolean compareActivities(java.lang.String[] a, java.lang.String[] b)