Class AcceptanceConditionSizeComparator

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

    public final class AcceptanceConditionSizeComparator
    extends java.lang.Object
    implements java.util.Comparator<Argument>
    Author:
    Mathias Hofer
    • Method Summary

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

        equals, 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

      • AcceptanceConditionSizeComparator

        public AcceptanceConditionSizeComparator​(AbstractDialecticalFramework adf)
        Parameters:
        adf - some ADF
    • Method Detail

      • compare

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