public class Execution
extends java.lang.Object
| Constructor and Description |
|---|
Execution(org.processmining.processtree.ProcessTree T) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<org.processmining.processtree.Originator> |
getExecution(java.lang.String activity) |