Uses of Class
org.tweetyproject.arg.aspic.syntax.AspicArgument
Packages that use AspicArgument
Package
Description
-
Uses of AspicArgument in org.tweetyproject.arg.aspic.order
Methods in org.tweetyproject.arg.aspic.order with parameters of type AspicArgumentModifier and TypeMethodDescriptionintLastLinkOrder.compare(AspicArgument<T> a, AspicArgument<T> b)intSimpleAspicOrder.compare(AspicArgument<T> a, AspicArgument<T> b)intWeakestLinkOrder.compare(AspicArgument<T> a, AspicArgument<T> b) -
Uses of AspicArgument in org.tweetyproject.arg.aspic.reasoner
Methods in org.tweetyproject.arg.aspic.reasoner with parameters of type AspicArgumentModifier 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
Methods in org.tweetyproject.arg.aspic.semantics with parameters of type AspicArgumentModifier and TypeMethodDescriptionintSimpleAspicOrder.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 successfulMethod parameters in org.tweetyproject.arg.aspic.semantics with type arguments of type AspicArgumentModifier 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 successfulConstructors in org.tweetyproject.arg.aspic.semantics with parameters of type AspicArgumentModifierConstructorDescriptionAspicAttack(AspicArgument<T> active, AspicArgument<T> passive)Creates a new AspicAttack -
Uses of AspicArgument in org.tweetyproject.arg.aspic.syntax
Methods in org.tweetyproject.arg.aspic.syntax that return AspicArgumentMethods in org.tweetyproject.arg.aspic.syntax that return types with arguments of type AspicArgumentModifier 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()Methods in org.tweetyproject.arg.aspic.syntax with parameters of type AspicArgumentModifier and TypeMethodDescriptionvoidAspicArgument.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 successfulbooleanAspicArgument.isSubArgumentOf(AspicArgument<T> arg)Checks wheter this is a direct or indirect subargument ofargMethod parameters in org.tweetyproject.arg.aspic.syntax with type arguments of type AspicArgumentModifier 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 successfulvoidAspicArgumentationTheory.setOrder(Comparator<AspicArgument<T>> order)Sets a new order over the argumentsConstructor parameters in org.tweetyproject.arg.aspic.syntax with type arguments of type AspicArgumentModifierConstructorDescriptionAspicArgument(InferenceRule<T> toprule, Collection<AspicArgument<T>> directsubs)Creates an empty Argument