public static class ClosGrow.RightShiftOrder
extends java.lang.Object
implements java.util.Comparator<org.deckfour.xes.model.XTrace>
Constructor and Description |
---|
RightShiftOrder() |
Modifier and Type | Method and Description |
---|---|
int |
compare(org.deckfour.xes.model.XTrace t1,
org.deckfour.xes.model.XTrace t2) |