Class BurdenBasedRankingReasoner.LexicographicTupleComparator

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

    public class BurdenBasedRankingReasoner.LexicographicTupleComparator
    extends Object
    implements Comparator<double[]>
    Compares burden numbers according to the lexicographic ordering.
    • 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 Comparator<double[]>