Package net.sf.tweety.arg.aspic.order
Class LastLinkOrder<T extends 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:
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)
-
-
-
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 rulesprem_comp
- comparator for ordinary premiseselitist
- some boolean
-
-
Method Detail
-
compare
public int compare(AspicArgument<T> a, AspicArgument<T> b)
- Specified by:
compare
in interfacejava.util.Comparator<T extends Invertable>
-
-