public abstract static class ExprTermOrder.EVComparator extends java.lang.Object implements java.util.Comparator<ExpVectorLong>, java.io.Serializable
Constructor and Description |
---|
EVComparator() |
Modifier and Type | Method and Description |
---|---|
abstract int |
compare(ExpVectorLong e1,
ExpVectorLong e2) |
public abstract int compare(ExpVectorLong e1, ExpVectorLong e2)
compare
in interface java.util.Comparator<ExpVectorLong>