Package | Description |
---|---|
org.processmining.lpm.efficientlog |
Modifier and Type | Method and Description |
---|---|
EfficientEvent |
EfficientEvent.getNext() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<EfficientEvent> |
EfficientEventSet.getEfficientEventsByActivity(java.lang.String activityName) |
Modifier and Type | Method and Description |
---|---|
void |
EfficientEvent.setNext(EfficientEvent nextEvent) |