protected class AtomCollection.AtomSorter extends java.lang.Object implements java.util.Comparator<Atom>
Modifier | Constructor and Description |
---|---|
protected |
AtomSorter() |
Modifier and Type | Method and Description |
---|---|
int |
compare(Atom a1,
Atom a2) |