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