public static final class KeYJavaType.LexicographicalKeYJavaTypeOrder<T extends KeYJavaType>
extends java.lang.Object
implements java.util.Comparator<T>
Constructor and Description |
---|
LexicographicalKeYJavaTypeOrder() |
Modifier and Type | Method and Description |
---|---|
int |
compare(T arg0,
T arg1) |
public int compare(T arg0, T arg1)
compare
in interface java.util.Comparator<T extends KeYJavaType>