Class SimpleAspicOrder<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 SimpleAspicOrder<T extends Invertable>
    extends java.lang.Object
    implements java.util.Comparator<AspicArgument<T>>
    Author:
    Nils Geilen A simple comparator for Aspic Arguments, that compares their top rules according to a given list of rules
    • Constructor Summary

      Constructors 
      Constructor Description
      SimpleAspicOrder()
      Creates a comparator for AspicArguments, that always returns 0
      SimpleAspicOrder​(java.util.Collection<java.lang.String> rules)
      Creates a comparator for AspicArguments from a list of AspicInferneceRules This will return a value <0, ==0 or >0 if the first argument's top rule is <,=,> the second argument's top rule
    • Method Summary

      Modifier and Type Method Description
      int compare​(AspicArgument<T> a, AspicArgument<T> b)  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
      • Methods inherited from interface java.util.Comparator

        equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong
    • Constructor Detail

      • SimpleAspicOrder

        public SimpleAspicOrder()
        Creates a comparator for AspicArguments, that always returns 0
      • SimpleAspicOrder

        public SimpleAspicOrder​(java.util.Collection<java.lang.String> rules)
        Creates a comparator for AspicArguments from a list of AspicInferneceRules This will return a value <0, ==0 or >0 if the first argument's top rule is <,=,> the second argument's top rule
        Parameters:
        rules - list of rules, ordered by their value ascending
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object