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

Class LastLinkOrder<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>

java.lang.Object

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

Type Parameters:

T - is the type of the language that the ASPIC theory's rules range over

All Implemented Interfaces:

Comparator<AspicArgument<T>>

public class LastLinkOrder<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
extends Object
implements 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(Comparator<InferenceRule<T>> rule_comp, 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

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

Constructor Detail

LastLinkOrder

public LastLinkOrder(Comparator<InferenceRule<T>> rule_comp,
                     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

Method Detail

compare

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

Specified by:

compare in interface Comparator<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>