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)	True iff attacker attacks 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
Collection<Deduction<T>>	AbaTheory.getAllDeductions()	Return all deductions that can be derived from this theory
Collection<Deduction<T>>	AbaTheory.getAllDeductions(Collection<Assumption<T>> assumptions)	Return all deductions that can be derived from this theory

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)	Check if attacker attacks attacked

Constructor parameters in org.tweetyproject.arg.aba.syntax with type arguments of type Deduction

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