Uses of Interface
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

Classes in net.sf.tweety.arg.aba.syntax that implement ABARule

Modifier and Type	Class	Description
class	Assumption<T extends Formula>
class	InferenceRule<T extends Formula>

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()	Returns all rules appearing in this argument.
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