Uses of Class
org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory

Packages that use RecursiveExtendedTheory

Package	Description
org.tweetyproject.arg.extended.reasoner

Uses of RecursiveExtendedTheory in org.tweetyproject.arg.extended.reasoner

Methods in org.tweetyproject.arg.extended.reasoner with parameters of type RecursiveExtendedTheory

Modifier and Type	Method	Description
abstract Collection<Collection<DungEntity>>	AbstractRecursiveExtendedExtensionReasoner.getModels(RecursiveExtendedTheory bbase)	Computes all models for the given theory
Collection<Collection<DungEntity>>	SimpleRecursiveExtendedAdmissibleReasoner.getModels(RecursiveExtendedTheory bbase)	Returns the collection of admissible sets of Dung entities for the given recursive extended theory.
Collection<Collection<DungEntity>>	SimpleRecursiveExtendedCompleteReasoner.getModels(RecursiveExtendedTheory bbase)	Returns the collection of complete extensions of the given recursive extended theory.
Collection<Collection<DungEntity>>	SimpleRecursiveExtendedConflictFreeReasoner.getModels(RecursiveExtendedTheory bbase)	Returns the collection of conflict-free sets of Dung entities for the given recursive extended theory.
Boolean	AbstractRecursiveExtendedExtensionReasoner.query(RecursiveExtendedTheory beliefbase, Argument formula)	Queries the given belief base with a specified argument, using the default inference mode of skeptical reasoning.
Boolean	AbstractRecursiveExtendedExtensionReasoner.query(RecursiveExtendedTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.