public class JavaTermComparator extends java.lang.Object implements java.util.Comparator<JavaTerm>
JavaTermComparator()
int
compare(JavaTerm javaTerm1, JavaTerm javaTerm2)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
equals
public JavaTermComparator()
public int compare(JavaTerm javaTerm1, JavaTerm javaTerm2)
compare
java.util.Comparator<JavaTerm>