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 -
-
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 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 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 java.util.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 booleanAbaTheory. isAdmissible(AbaExtension<T> ext)Checks whether a set of arguments is admissible.
-