class AtomCollection.AtomSorter extends java.lang.Object implements java.util.Comparator
AtomCollection.AtomSorter()
private int
compare(Atom a1, Atom a2)
int
compare(java.lang.Object arg0, java.lang.Object arg1)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
equals
public int compare(java.lang.Object arg0, java.lang.Object arg1)
compare
java.util.Comparator
private int compare(Atom a1, Atom a2)