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	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	Description
`java.util.Collection<AbaExtension<T>>`	CompleteReasoner.`getModels(ABATheory<T> abat)`
`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>>`	IdealReasoner.`getModels(ABATheory<T> abat)`
`java.util.Collection<AbaExtension<T>>`	PreferredReasoner.`getModels(ABATheory<T> abat)`
`java.util.Collection<AbaExtension<T>>`	StableReasoner.`getModels(ABATheory<T> abat)`
`java.util.Collection<AbaExtension<T>>`	WellFoundedReasoner.`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	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	Description
`boolean`	ABATheory.`isAdmissible(AbaExtension<T> ext)`	Checks whether a set of arguments is admissible