Uses of Class
net.sf.tweety.arg.aspic.syntax.AspicArgument

Packages that use AspicArgument

Package	Description
net.sf.tweety.arg.aspic.order
net.sf.tweety.arg.aspic.reasoner
net.sf.tweety.arg.aspic.semantics
net.sf.tweety.arg.aspic.syntax

Uses of AspicArgument in net.sf.tweety.arg.aspic.order

Methods in net.sf.tweety.arg.aspic.order with parameters of type AspicArgument

Modifier and Type	Method	Description
int	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 net.sf.tweety.arg.aspic.reasoner

Methods in net.sf.tweety.arg.aspic.reasoner with parameters of type AspicArgument

Modifier and Type	Method	Description
Collection<T>	DirectionalAspicReasoner.getAttackingConclusions(AspicArgument<T> arg, RuleFormulaGenerator<T> rfgen)	Returns all "attacking conclusions" of the given argument.

Uses of AspicArgument in net.sf.tweety.arg.aspic.semantics

Methods in net.sf.tweety.arg.aspic.semantics with parameters of type AspicArgument

Modifier and Type	Method	Description
int	SimpleAspicOrder.compare(AspicArgument<T> a, AspicArgument<T> b)
static <T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable> boolean	AspicAttack.isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, Comparator<AspicArgument<T>> order)	Determines whether the attack is successful

Method parameters in net.sf.tweety.arg.aspic.semantics with type arguments of type AspicArgument

Modifier and Type	Method	Description
static <T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable> Collection<AspicAttack<T>>	AspicAttack.determineAttackRelations(Collection<AspicArgument<T>> args, Comparator<AspicArgument<T>> order, RuleFormulaGenerator<T> rfgen)	Checks for defeats in a list of arguments
static <T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable> Collection<AspicAttack<T>>	AspicAttack.determineAttackRelations(Collection<AspicArgument<T>> args, Comparator<AspicArgument<T>> order, RuleFormulaGenerator<T> rfgen)	Checks for defeats in a list of arguments
static <T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable> boolean	AspicAttack.isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, Comparator<AspicArgument<T>> order)	Determines whether the attack is successful

Constructors in net.sf.tweety.arg.aspic.semantics with parameters of type AspicArgument

Constructor	Description
AspicAttack(AspicArgument<T> active, AspicArgument<T> passive)	Creates a new AspicAttack

Uses of AspicArgument in net.sf.tweety.arg.aspic.syntax

Methods in net.sf.tweety.arg.aspic.syntax that return AspicArgument

Modifier and Type	Method	Description
AspicArgument<T>	AspicArgument.shallowCopy()

Methods in net.sf.tweety.arg.aspic.syntax that return types with arguments of type AspicArgument

Modifier and Type	Method	Description
Collection<AspicArgument<T>>	AspicArgument.getAllSubs()	returns the Subs according to the ASPIC+ specification
Collection<AspicArgument<T>>	AspicArgumentationTheory.getArguments()	Expands this systems's inference rules into a tree arguments
Collection<AspicArgument<T>>	AspicArgument.getDefeasibleSubs()	Determines subarguments with defeasible toprules, premises do not count as subrules
Collection<AspicArgument<T>>	AspicArgument.getDirectSubs()	The argument's direct children, whose conclusions fit its prerequisites
Comparator<AspicArgument<T>>	AspicArgumentationTheory.getOrder()
Collection<AspicArgument<T>>	AspicArgument.getOrdinaryPremises()

Methods in net.sf.tweety.arg.aspic.syntax with parameters of type AspicArgument

Modifier and Type	Method	Description
void	AspicArgument.addDirectSub(AspicArgument<T> sub)	Adds a subargument
static <T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable> boolean	AspicArgument.isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, Comparator<AspicArgument<T>> order)	Determines whether the attack is successful
boolean	AspicArgument.isSubArgumentOf(AspicArgument<T> arg)	Checks wheter this is a direct or indirect subargument of arg

Method parameters in net.sf.tweety.arg.aspic.syntax with type arguments of type AspicArgument

Modifier and Type	Method	Description
static <T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable> boolean	AspicArgument.isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, Comparator<AspicArgument<T>> order)	Determines whether the attack is successful
void	AspicArgumentationTheory.setOrder(Comparator<AspicArgument<T>> order)	Sets a new order over the arguments

Constructor parameters in net.sf.tweety.arg.aspic.syntax with type arguments of type AspicArgument

Constructor	Description
AspicArgument(InferenceRule<T> toprule, Collection<AspicArgument<T>> directsubs)	Creates an empty Argument