Package | Description |
---|---|
org.processmining.glueminer.algorithms | |
org.processmining.glueminer.models |
Modifier and Type | Method and Description |
---|---|
java.util.List<PlaceUnderfednessStorage> |
TokenReplayer.getPlaceUnderfednessStorage() |
Modifier and Type | Method and Description |
---|---|
int |
PlaceUnderfednessStorageComparator.compare(PlaceUnderfednessStorage o1,
PlaceUnderfednessStorage o2) |