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)