Class LatticeArgumentRanking.LatticeComparator

  • All Implemented Interfaces:
    java.util.Comparator<Argument>
    Enclosing class:
    LatticeArgumentRanking

    private class LatticeArgumentRanking.LatticeComparator
    extends java.lang.Object
    implements java.util.Comparator<Argument>
    Comparator for comparing arguments on the basis of a given LatticeArgumentRanking. Fails for incomparable arguments.
    Author:
    Anna Gessler
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private LatticeArgumentRanking order
      The ranking that is associated with this comparator.
    • Method Summary

      Modifier and Type Method Description
      int compare​(Argument a, Argument b)  
      • 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