Uses of Class
net.sf.tweety.arg.aba.semantics.AbaExtension

Packages that use AbaExtension

Package	Description
net.sf.tweety.arg.aba.reasoner
net.sf.tweety.arg.aba.syntax

Uses of AbaExtension in net.sf.tweety.arg.aba.reasoner

Methods in net.sf.tweety.arg.aba.reasoner that return AbaExtension

Modifier and Type	Method and Description
AbaExtension<T>	GeneralABAReasoner.getModel(ABATheory<T> bbase)

Methods in net.sf.tweety.arg.aba.reasoner that return types with arguments of type AbaExtension

Modifier and Type	Method and Description
java.util.Collection<AbaExtension<T>>	FlatABAReasoner.getModels(ABATheory<T> abat)
abstract java.util.Collection<AbaExtension<T>>	GeneralABAReasoner.getModels(ABATheory<T> bbase)
java.util.Collection<AbaExtension<T>>	CompleteReasoner.getModels(ABATheory<T> abat)
java.util.Collection<AbaExtension<T>>	WellFoundedReasoner.getModels(ABATheory<T> abat)
java.util.Collection<AbaExtension<T>>	StableReasoner.getModels(ABATheory<T> abat)
java.util.Collection<AbaExtension<T>>	PreferredReasoner.getModels(ABATheory<T> abat)
java.util.Collection<AbaExtension<T>>	IdealReasoner.getModels(ABATheory<T> abat)

Uses of AbaExtension in net.sf.tweety.arg.aba.syntax

Methods in net.sf.tweety.arg.aba.syntax that return types with arguments of type AbaExtension

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

Methods in net.sf.tweety.arg.aba.syntax with parameters of type AbaExtension

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