Uses of Class
org.tweetyproject.arg.aba.syntax.Deduction

Packages that use Deduction

Package	Description
org.tweetyproject.arg.aba.semantics
org.tweetyproject.arg.aba.syntax

Uses of Deduction in org.tweetyproject.arg.aba.semantics

Methods in org.tweetyproject.arg.aba.semantics with parameters of type Deduction

Modifier and Type	Method	Description
static <T extends Invertable> boolean	AbaAttack.attacks(Deduction<T> attacker, Assumption<T> attacked)

Uses of Deduction in org.tweetyproject.arg.aba.syntax

Methods in org.tweetyproject.arg.aba.syntax that return types with arguments of type Deduction

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

Methods in org.tweetyproject.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 org.tweetyproject.arg.aba.syntax with type arguments of type Deduction

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