Uses of Class
org.tweetyproject.arg.aba.semantics.AbaExtension

Packages that use AbaExtension

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

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

Classes in org.tweetyproject.arg.aba.reasoner that implement interfaces with type arguments of type AbaExtension

Modifier and Type	Class	Description
class	GeneralAbaReasoner<T extends Formula>	This is an abstract generalization over non-flat ABA reasoners.

Methods in org.tweetyproject.arg.aba.reasoner that return AbaExtension

Modifier and Type	Method	Description
AbaExtension<T>	GeneralAbaReasoner.getModel(AbaTheory<T> bbase)

Methods in org.tweetyproject.arg.aba.reasoner that return types with arguments of type AbaExtension

Modifier and Type	Method	Description
Collection<AbaExtension<T>>	CompleteReasoner.getModels(AbaTheory<T> abat)
Collection<AbaExtension<T>>	FlatAbaReasoner.getModels(AbaTheory<T> abat)
abstract Collection<AbaExtension<T>>	GeneralAbaReasoner.getModels(AbaTheory<T> bbase)
Collection<AbaExtension<T>>	IdealReasoner.getModels(AbaTheory<T> abat)
Collection<AbaExtension<T>>	PreferredReasoner.getModels(AbaTheory<T> abat)
Collection<AbaExtension<T>>	StableReasoner.getModels(AbaTheory<T> abat)
Collection<AbaExtension<T>>	WellFoundedReasoner.getModels(AbaTheory<T> abat)

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

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

Modifier and Type	Method	Description
Collection<AbaExtension<T>>	AbaTheory.getAllAdmissbleExtensions()	Computes all admissible extensions.

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

Modifier and Type	Method	Description
boolean	AbaTheory.isAdmissible(AbaExtension<T> ext)	Checks whether a set of arguments is admissible.

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

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

Modifier and Type	Method	Description
AbaExtension<T>	AbaReasonerGetModelCallee.call()	Calls the ABA reasoner to obtain some model from the provided ABA theory.

Methods in org.tweetyproject.web.services.aba that return types with arguments of type AbaExtension

Modifier and Type	Method	Description
Collection<AbaExtension<T>>	AbaReasonerGetModelsCallee.call()	Calls the ABA reasoner to obtain multiple models from the provided ABA theory.