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

Packages that use GeneralAbaReasoner

Package	Description
org.tweetyproject.arg.aba.reasoner
org.tweetyproject.web.services.aba

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.

Uses of GeneralAbaReasoner in org.tweetyproject.web.services.aba

Methods in org.tweetyproject.web.services.aba that return GeneralAbaReasoner

Modifier and Type	Method	Description
static <T> GeneralAbaReasoner	GeneralAbaReasonerFactory.getReasoner(GeneralAbaReasonerFactory.Semantics sem)	Return a reasoner

Methods in org.tweetyproject.web.services.aba with parameters of type GeneralAbaReasoner

Modifier and Type	Method	Description
static <T extends Formula> Callee	AbaReasonerCalleeFactory.getCallee(AbaReasonerCalleeFactory.Command cmd, GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase, Assumption<T> a)	Creates a new callee instance based on the provided command, ABA reasoner, ABA theory, and assumption.

Constructors in org.tweetyproject.web.services.aba with parameters of type GeneralAbaReasoner

Modifier	Constructor	Description
	AbaReasonerGetModelCallee(GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase)	Constructor for AbaReasonerGetModelCallee.
	AbaReasonerGetModelsCallee(GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase)	Constructor for AbaReasonerGetModelsCallee.
	AbaReasonerQueryCallee(GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase, Assumption<T> assumption)	Constructor for AbaReasonerQueryCallee.