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 net.sf.tweety.commons.Formula>
class	InferenceRule<T extends net.sf.tweety.commons.Formula>

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
Collection<ABARule<T>>	Deduction.getAllRules()	Returns all rules appearing in this argument.
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(String name, ABARule<T> rule)	Constructs a new deduction
Deduction(String name, ABARule<T> rule, Collection<Deduction<T>> subs)	Constructs a new deduction