public class Runner
extends java.lang.Object
| Constructor and Description |
|---|
Runner(org.processmining.processtree.ProcessTree tree) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<Run> |
createRuns() |
void |
unrollLoops() |
public void unrollLoops()
public java.util.Set<Run> createRuns()