net.sf.tweety.arg.aspic.order

Class WeakestLinkOrder<T extends Invertable>

java.lang.Object

net.sf.tweety.arg.aspic.order.WeakestLinkOrder<T>

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 and 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 and 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 and 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

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, 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

premset_comp

private java.util.Comparator<java.util.Collection<InferenceRule<T extends Invertable>>> premset_comp

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 -

Method Detail

compare

public int compare(AspicArgument<T> a,
                   AspicArgument<T> b)

Specified by:

compare in interface java.util.Comparator<AspicArgument<T extends Invertable>>