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 and Description
int	SimpleAspicOrder.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)
int	WeakestLinkOrder.compare(AspicArgument<T> a, AspicArgument<T> b)
int	LastLinkOrder.compare(AspicArgument<T> a, AspicArgument<T> b)
int	LastLinkOrder.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 that return AspicArgument

Modifier and Type	Method and Description
private AspicArgument<T>	RandomAspicReasoner.sampleArgument(java.util.Map<T,java.util.List<InferenceRule<T>>> rules) Samples a single ASPIC argument via a random search.
private AspicArgument<T>	RandomAspicReasoner.sampleArgument(java.util.Map<T,java.util.List<InferenceRule<T>>> rules, T conclusion, java.util.Set<T> conclusions) Samples a single ASPIC argument for the given conclusion via a random search.

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 and Description
int	SimpleAspicOrder.compare(AspicArgument<T> a, AspicArgument<T> b)
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, java.util.Comparator<AspicArgument<T>> order) Determines whether the attack is successfull
static <T extends Invertable> boolean	AspicAttack.isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, java.util.Comparator<AspicArgument<T>> order) Determines whether the attack is successfull

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

Modifier and Type	Method and Description
static <T extends Invertable> java.util.Collection<AspicAttack<T>>	AspicAttack.determineAttackRelations(java.util.Collection<AspicArgument<T>> args, java.util.Comparator<AspicArgument<T>> order, RuleFormulaGenerator<T> rfgen) Checks for defeats in a list of arguments
static <T extends Invertable> java.util.Collection<AspicAttack<T>>	AspicAttack.determineAttackRelations(java.util.Collection<AspicArgument<T>> args, java.util.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, java.util.Comparator<AspicArgument<T>> order) Determines whether the attack is successfull

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

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

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

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

Modifier and Type	Field and Description
private java.util.List<AspicArgument<T>>	AspicArgument.directsubs The argument's direct children, whose conclusions fit its prerequisites
private java.util.Comparator<AspicArgument<T>>	AspicArgumentationTheory.order An order over this system's arguments, needed for their defeat relation

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

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

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

Modifier and Type	Method and Description
void	AspicArgument.addDirectSub(AspicArgument<T> sub) Adds a subargument
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 and Description
void	AspicArgumentationTheory.setOrder(java.util.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 and Description
AspicArgument(InferenceRule<T> toprule, java.util.Collection<AspicArgument<T>> directsubs) Creates an empty Argument