Uses of Interface
net.sf.tweety.arg.aba.syntax.ABARule

Packages that use ABARule

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

Uses of ABARule in net.sf.tweety.arg.aba

Method parameters in net.sf.tweety.arg.aba with type arguments of type ABARule

Modifier and Type	Method and Description
private Deduction<T>	ABATheory.createDeduction(DigraphNode<ABARule<T>> node, java.util.Set<Deduction<T>> set) Recursively creates a deduction and all of its subdeductions

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 and 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 and Description
(package private) ABARule<T>	Deduction.rule

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

Modifier and Type	Method and 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 and Description
java.util.Collection<ABARule<T>>	Deduction.getRules()

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

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

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

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