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.
-