Class AtomCollection.AtomSorter

  • All Implemented Interfaces:
    java.util.Comparator<Atom>
    Enclosing class:
    AtomCollection

    protected class AtomCollection.AtomSorter
    extends java.lang.Object
    implements java.util.Comparator<Atom>
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected AtomSorter()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int compare​(Atom a1, Atom a2)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface java.util.Comparator

        equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong
    • Constructor Detail

      • AtomSorter

        protected AtomSorter()
    • Method Detail

      • compare

        public int compare​(Atom a1,
                           Atom a2)
        Specified by:
        compare in interface java.util.Comparator<Atom>