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

Packages that use AbaRule

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

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

Subclasses of AbaRule in net.sf.tweety.arg.aba.syntax

Modifier and Type	Class	Description
class	Assumption<T extends Formula>	This class models an assumption of an ABA theory.
class	InferenceRule<T extends Formula>	This class models an inference rule from an ABA theory.

Fields in net.sf.tweety.arg.aba.syntax declared as AbaRule

Modifier and Type	Field	Description
(package private) AbaRule<T>	Deduction.rule

Methods in net.sf.tweety.arg.aba.syntax that return AbaRule

Modifier and Type	Method	Description
AbaRule<T>	Deduction.getRule()

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

Modifier and Type	Method	Description
java.util.Collection<AbaRule<T>>	Deduction.getAllRules()
java.util.Collection<AbaRule<T>>	Deduction.getRules()

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

Modifier and Type	Method	Description
void	Deduction.setRule(AbaRule<T> rule)

Constructors in net.sf.tweety.arg.aba.syntax with parameters of type AbaRule

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