| Package | Description |
|---|---|
| org.processmining.plugins.historyAwareReplayer.visualization.grouping |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<com.google.common.collect.Multiset.Entry<GroupedReplayResult.AlignmentGroup>> |
GroupedReplayResult.groupedByAlignment() |
| Modifier and Type | Method and Description |
|---|---|
java.util.SortedSet<Alignment> |
GroupedReplayResult.listAlignments(GroupedReplayResult.AlignmentGroup group) |