Package net.sf.tweety.arg.aspic.order

Class WeakestLinkOrder<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 WeakestLinkOrder<T extends Invertable>
extends java.lang.Object
implements java.util.Comparator<AspicArgument<T>>
    Author:
    Nils Geilen A comparator for Aspic Arguments, that compares all deafeasible rules

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.util.Comparator<java.util.Collection<InferenceRule<T>>> premset_comp  
      private java.util.Comparator<java.util.Collection<InferenceRule<T>>> ruleset_comp
      Comparators for defeasible rules and ordinary premises

    • Constructor Summary

      Constructors 
      Constructor Description
      WeakestLinkOrder​(java.util.Comparator<InferenceRule<T>> rule_comp, java.util.Comparator<InferenceRule<T>> prem_comp, boolean elitist)
      Constructs a new weakest link ordering

    • Method Summary

      Modifier and Type Method Description
      int compare​(AspicArgument<T> a, AspicArgument<T> b)  

      • 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

      • ruleset_comp

        private java.util.Comparator<java.util.Collection<InferenceRule<T extends Invertable>>> ruleset_comp
        Comparators for defeasible rules and ordinary premises

    • Constructor Detail

      • WeakestLinkOrder

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