Class BurdenBasedRankingReasoner.LexicographicTupleComparator

  • All Implemented Interfaces:
    java.util.Comparator<double[]>
    Enclosing class:
    BurdenBasedRankingReasoner

    public class BurdenBasedRankingReasoner.LexicographicTupleComparator
    extends java.lang.Object
    implements java.util.Comparator<double[]>
    Compares burden numbers according to the lexicographic ordering.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static double PRECISION
      Precision for comparing values.
    • Method Summary

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

      • PRECISION

        public static final double PRECISION
        Precision for comparing values.
        See Also:
        Constant Field Values
    • Constructor Detail

      • LexicographicTupleComparator

        public LexicographicTupleComparator()
    • Method Detail

      • compare

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