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