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

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.