Uses of Class
org.tweetyproject.arg.aspic.syntax.InferenceRule
-
Uses of InferenceRule in org.tweetyproject.arg.aspic.order
Modifier and TypeMethodDescriptionint
RuleComparator.compare(InferenceRule<T> o1, InferenceRule<T> o2)
ModifierConstructorDescriptionLastLinkOrder(Comparator<InferenceRule<T>> rule_comp, Comparator<InferenceRule<T>> prem_comp, boolean elitist)
Constructs a new last link orderingWeakestLinkOrder(Comparator<InferenceRule<T>> rule_comp, Comparator<InferenceRule<T>> prem_comp, boolean elitist)
Constructs a new weakest link ordering -
Uses of InferenceRule in org.tweetyproject.arg.aspic.syntax
Modifier and TypeClassDescriptionclass
DefeasibleInferenceRule<T extends Invertable>
class
StrictInferenceRule<T extends Invertable>
Modifier and TypeMethodDescriptionabstract InferenceRule<T>
InferenceRule.clone()
AspicArgument.getTopRule()
Retruns the TopRule according to ASPIC+ specificationInferenceRule.substitute(Map<? extends Term<?>,? extends Term<?>> map)
abstract InferenceRule<T>
InferenceRule.substitute(Term<?> v, Term<?> t)
Modifier and TypeMethodDescriptionInferenceRule.allGroundInstances(Set<Constant> constants)
AspicArgument.getAllRules()
Returns all rules appearing in this argument.AspicArgument.getDefeasibleRules()
Returns the DefRules according to ASPIC+ specification, i.e.AspicArgument.getListLastDefeasibleRules()
Returns all defeasible subrules of the level where the first defeasible subrule appears, i.e.AspicArgumentationTheory.groundFolRules()
Modifier and TypeMethodDescriptionvoid
AspicArgumentationTheory.addRule(InferenceRule<T> rule)
Adds an additional inference rulevoid
AspicArgument.setTopRule(InferenceRule<T> toprule)
Changes the TopRuleModifierConstructorDescriptionAspicArgument(InferenceRule<T> toprule)
Creates an empty ArgumentAspicArgument(InferenceRule<T> toprule, Collection<AspicArgument<T>> directsubs)
Creates an empty Argument