Uses of Class
org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner

Packages that use GeneralAbaReasoner

Package	Description
org.tweetyproject.arg.aba.reasoner

Uses of GeneralAbaReasoner in org.tweetyproject.arg.aba.reasoner

Subclasses of GeneralAbaReasoner in org.tweetyproject.arg.aba.reasoner

Modifier and Type	Class	Description
class	CompleteReasoner<T extends Formula>	This reasoner for ABA theories performs inference on the complete extensions.
class	FlatAbaReasoner<T extends Formula>	This class models a reasoner over ABA formulae.
class	IdealReasoner<T extends Formula>	This reasoner for ABA theories performs inference on the ideal extension.
class	PreferredReasoner<T extends Formula>	This reasoner for ABA theories performs inference on the preferred extensions.
class	StableReasoner<T extends Formula>	This reasoner for ABA theories performs inference on the stable extensions.
class	WellFoundedReasoner<T extends Formula>	This reasoner for ABA theories performs inference on the ideal extension.