Class LastLinkOrder<T extends Invertable>

  • Type Parameters:
    T - is the type of the language that the ASPIC theory's rules range over
    All Implemented Interfaces:
    java.util.Comparator<AspicArgument<T>>

    public class LastLinkOrder<T extends Invertable>
    extends java.lang.Object
    implements java.util.Comparator<AspicArgument<T>>
    Author:
    Nils Geilen A comparator for Aspic Arguments, that compares the set of topmost deafeasible rules
    • Constructor Summary

      Constructors 
      Constructor Description
      LastLinkOrder​(java.util.Comparator<InferenceRule<T>> rule_comp, java.util.Comparator<InferenceRule<T>> prem_comp, boolean elitist)
      Constructs a new last link ordering
    • Method Summary

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

      • LastLinkOrder

        public LastLinkOrder​(java.util.Comparator<InferenceRule<T>> rule_comp,
                             java.util.Comparator<InferenceRule<T>> prem_comp,
                             boolean elitist)
        Constructs a new last link ordering
        Parameters:
        rule_comp - comparator for defeasible rules
        prem_comp - comparator for ordinary premises
        elitist - some boolean