Uses of Class
org.tweetyproject.arg.aba.syntax.AbaRule

Packages that use AbaRule

Package	Description
org.tweetyproject.arg.aba.syntax

Uses of AbaRule in org.tweetyproject.arg.aba.syntax

Subclasses of AbaRule in org.tweetyproject.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.

Methods in org.tweetyproject.arg.aba.syntax that return AbaRule

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

Methods in org.tweetyproject.arg.aba.syntax that return types with arguments of type AbaRule

Modifier and Type	Method	Description
Collection<AbaRule<T>>	Deduction.getAllRules()	Return all rules appearing in this argument.
Collection<AbaRule<T>>	Deduction.getRules()	Return all rules used in this deduction

Methods in org.tweetyproject.arg.aba.syntax with parameters of type AbaRule

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

Constructors in org.tweetyproject.arg.aba.syntax with parameters of type AbaRule

Modifier	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.