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