Class TuplesRankingReasoner.LexicographicTupleComparator

  • All Implemented Interfaces:
    java.util.Comparator<int[]>
    Enclosing class:
    TuplesRankingReasoner

    public class TuplesRankingReasoner.LexicographicTupleComparator
    extends java.lang.Object
    implements java.util.Comparator<int[]>
    Compares tuples according to the lexicographic ordering as described in [Cayrol, Lagasquie-Schiex. Graduality in argumentation. 2005].
    • Method Summary

      Modifier and Type Method Description
      int compare​(int[] o1, int[] o2)  
      • 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

      • LexicographicTupleComparator

        public LexicographicTupleComparator()
    • Method Detail

      • compare

        public int compare​(int[] o1,
                           int[] o2)
        Specified by:
        compare in interface java.util.Comparator<int[]>