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) |