Uses of Class
org.tweetyproject.arg.aspic.syntax.AspicArgument
Package
Description
-
Uses of AspicArgument in org.tweetyproject.arg.aspic.order
Modifier and TypeMethodDescriptionint
LastLinkOrder.compare(AspicArgument<T> a, AspicArgument<T> b)
int
SimpleAspicOrder.compare(AspicArgument<T> a, AspicArgument<T> b)
int
WeakestLinkOrder.compare(AspicArgument<T> a, AspicArgument<T> b)
-
Uses of AspicArgument in org.tweetyproject.arg.aspic.reasoner
Modifier and TypeMethodDescriptionDirectionalAspicReasoner.getAttackingConclusions(AspicArgument<T> arg, RuleFormulaGenerator<T> rfgen)
Returns all "attacking conclusions" of the given argument. -
Uses of AspicArgument in org.tweetyproject.arg.aspic.semantics
Modifier and TypeMethodDescriptionint
SimpleAspicOrder.compare(AspicArgument<T> a, AspicArgument<T> b)
static <T extends Invertable>
booleanAspicAttack.isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, Comparator<AspicArgument<T>> order)
Determines whether the attack is successfulModifier and TypeMethodDescriptionstatic <T extends Invertable>
Collection<AspicAttack<T>>AspicAttack.determineAttackRelations(Collection<AspicArgument<T>> args, Comparator<AspicArgument<T>> order, RuleFormulaGenerator<T> rfgen)
Checks for defeats in a list of argumentsstatic <T extends Invertable>
Collection<AspicAttack<T>>AspicAttack.determineAttackRelations(Collection<AspicArgument<T>> args, Comparator<AspicArgument<T>> order, RuleFormulaGenerator<T> rfgen)
Checks for defeats in a list of argumentsstatic <T extends Invertable>
booleanAspicAttack.isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, Comparator<AspicArgument<T>> order)
Determines whether the attack is successfulModifierConstructorDescriptionAspicAttack(AspicArgument<T> active, AspicArgument<T> passive)
Creates a new AspicAttack -
Uses of AspicArgument in org.tweetyproject.arg.aspic.syntax
Modifier and TypeMethodDescriptionAspicArgument.getAllSubs()
returns the Subs according to the ASPIC+ specificationAspicArgumentationTheory.getArguments()
Expands this systems's inference rules into a tree argumentsAspicArgument.getDefeasibleSubs()
Determines subarguments with defeasible toprules, premises do not count as subrulesAspicArgument.getDirectSubs()
The argument's direct children, whose conclusions fit its prerequisitesAspicArgumentationTheory.getOrder()
AspicArgument.getOrdinaryPremises()
Modifier and TypeMethodDescriptionvoid
AspicArgument.addDirectSub(AspicArgument<T> sub)
Adds a subargumentstatic <T extends Invertable>
booleanAspicArgument.isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, Comparator<AspicArgument<T>> order)
Determines whether the attack is successfulboolean
AspicArgument.isSubArgumentOf(AspicArgument<T> arg)
Checks wheter this is a direct or indirect subargument ofarg
Modifier and TypeMethodDescriptionstatic <T extends Invertable>
booleanAspicArgument.isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, Comparator<AspicArgument<T>> order)
Determines whether the attack is successfulvoid
AspicArgumentationTheory.setOrder(Comparator<AspicArgument<T>> order)
Sets a new order over the argumentsModifierConstructorDescriptionAspicArgument(InferenceRule<T> toprule, Collection<AspicArgument<T>> directsubs)
Creates an empty Argument