Uses of Class
org.tweetyproject.arg.aspic.syntax.AspicArgument

Packages that use AspicArgument

Package	Description
org.tweetyproject.arg.aspic.order
org.tweetyproject.arg.aspic.reasoner
org.tweetyproject.arg.aspic.semantics
org.tweetyproject.arg.aspic.syntax

Uses of AspicArgument in org.tweetyproject.arg.aspic.order

Methods in org.tweetyproject.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)
boolean	LastLinkOrder.isIncomparable(AspicArgument<T> a, AspicArgument<T> b)
boolean	SimpleAspicOrder.isIncomparable(AspicArgument<T> a, AspicArgument<T> b)
boolean	WeakestLinkOrder.isIncomparable(AspicArgument<T> a, AspicArgument<T> b)
boolean	LastLinkOrder.isStrictlyLessOrEquallyAcceptableThan(AspicArgument<T> a, AspicArgument<T> b)
boolean	SimpleAspicOrder.isStrictlyLessOrEquallyAcceptableThan(AspicArgument<T> a, AspicArgument<T> b)
boolean	WeakestLinkOrder.isStrictlyLessOrEquallyAcceptableThan(AspicArgument<T> a, AspicArgument<T> b)
boolean	LastLinkOrder.satisfies(AspicArgument<T> formula)
boolean	SimpleAspicOrder.satisfies(AspicArgument<T> formula)
boolean	WeakestLinkOrder.satisfies(AspicArgument<T> formula)

Uses of AspicArgument in org.tweetyproject.arg.aspic.reasoner

Methods in org.tweetyproject.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 org.tweetyproject.arg.aspic.semantics

Methods in org.tweetyproject.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 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 org.tweetyproject.arg.aspic.semantics with type arguments of type AspicArgument

Modifier and Type	Method	Description
static <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 arguments
static <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 arguments
static <T extends 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 org.tweetyproject.arg.aspic.semantics with parameters of type AspicArgument

Modifier	Constructor	Description
	AspicAttack(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 AspicArgument

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

Methods in org.tweetyproject.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 system'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 org.tweetyproject.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 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 org.tweetyproject.arg.aspic.syntax with type arguments of type AspicArgument

Modifier and Type	Method	Description
static <T extends 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 org.tweetyproject.arg.aspic.syntax with type arguments of type AspicArgument

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