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

Packages that use Deduction

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

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

Methods in net.sf.tweety.arg.aba that return Deduction

Modifier and Type	Method and Description
private Deduction<T>	ABATheory.createDeduction(DigraphNode<ABARule<T>> node, java.util.Set<Deduction<T>> set) Recursively creates a deduction and all of its subdeductions

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

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

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

Modifier and Type	Method and Description
boolean	ABATheory.attacks(Deduction<T> atter, T atted)

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

Modifier and Type	Method and Description
private Deduction<T>	ABATheory.createDeduction(DigraphNode<ABARule<T>> node, java.util.Set<Deduction<T>> set) Recursively creates a deduction and all of its subdeductions

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

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

Modifier and Type	Field and Description
(package private) java.util.Collection<Deduction<T>>	Deduction.subs

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

Modifier and Type	Method and Description
void	Deduction.addSubDeduction(Deduction<T> sub) Adds a subdeduction

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

Constructor and Description
Deduction(java.lang.String name, ABARule<T> rule, java.util.Collection<Deduction<T>> subs) Constructs a new deduction