public static final class KeYJavaType.LexicographicalKeYJavaTypeOrder<T extends KeYJavaType> extends Object implements Comparator<T>
Constructor and Description |
---|
LexicographicalKeYJavaTypeOrder() |
Modifier and Type | Method and Description |
---|---|
int |
compare(T arg0,
T arg1) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong
public int compare(T arg0, T arg1)
compare
in interface Comparator<T extends KeYJavaType>