Uses of Class
net.sf.tweety.arg.aba.syntax.Deduction

Packages that use Deduction

Package	Description
net.sf.tweety.arg.aba.semantics
net.sf.tweety.arg.aba.syntax

Uses of Deduction in net.sf.tweety.arg.aba.semantics

Methods in net.sf.tweety.arg.aba.semantics with parameters of type Deduction

Modifier and Type	Method	Description
static <T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable> boolean	AbaAttack.attacks(Deduction<T> attacker, Assumption<T> attacked)

Uses of Deduction in net.sf.tweety.arg.aba.syntax

Methods in net.sf.tweety.arg.aba.syntax that return types with arguments of type Deduction

Modifier and Type	Method	Description
Collection<Deduction<T>>	AbaTheory.getAllDeductions()
Collection<Deduction<T>>	AbaTheory.getAllDeductions(Collection<Assumption<T>> assumptions)

Methods in net.sf.tweety.arg.aba.syntax with parameters of type Deduction

Modifier and Type	Method	Description
void	Deduction.addSubDeduction(Deduction<T> sub)	Adds a subdeduction
boolean	AbaTheory.attacks(Deduction<T> atter, T atted)

Constructor parameters in net.sf.tweety.arg.aba.syntax with type arguments of type Deduction

Constructor	Description
Deduction(String name, AbaRule<T> rule, Collection<Deduction<T>> subs)	Constructs a new deduction.