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

Packages that use ExtendedTheory

Package	Description
org.tweetyproject.arg.extended.reasoner

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

Methods in org.tweetyproject.arg.extended.reasoner that return types with arguments of type ExtendedTheory

Modifier and Type	Method	Description
Extension<ExtendedTheory>	FlattenBasedExtendedExtensionReasoner.getModel(ExtendedTheory bbase)
Extension<ExtendedTheory>	SimpleExtendedAdmissibleReasoner.getModel(ExtendedTheory bbase)	Returns one admissible extension of the given extended theory.
Extension<ExtendedTheory>	SimpleExtendedCompleteReasoner.getModel(ExtendedTheory bbase)	Returns one complete extension of the given extended theory.
Extension<ExtendedTheory>	SimpleExtendedConflictFreeReasoner.getModel(ExtendedTheory bbase)	Returns one conflict-free extension of the given extended theory.
Collection<Extension<ExtendedTheory>>	FlattenBasedExtendedExtensionReasoner.getModels(ExtendedTheory bbase)
Collection<Extension<ExtendedTheory>>	SimpleExtendedAdmissibleReasoner.getModels(ExtendedTheory bbase)	Returns the collection of admissible extensions of the given extended theory.
Collection<Extension<ExtendedTheory>>	SimpleExtendedCompleteReasoner.getModels(ExtendedTheory bbase)	Returns the collection of complete extensions of the given extended theory.
Collection<Extension<ExtendedTheory>>	SimpleExtendedConflictFreeReasoner.getModels(ExtendedTheory bbase)	Returns the collection of conflict-free extensions of the given extended theory.

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

Modifier and Type	Method	Description
Extension<ExtendedTheory>	FlattenBasedExtendedExtensionReasoner.getModel(ExtendedTheory bbase)
Extension<ExtendedTheory>	SimpleExtendedAdmissibleReasoner.getModel(ExtendedTheory bbase)	Returns one admissible extension of the given extended theory.
Extension<ExtendedTheory>	SimpleExtendedCompleteReasoner.getModel(ExtendedTheory bbase)	Returns one complete extension of the given extended theory.
Extension<ExtendedTheory>	SimpleExtendedConflictFreeReasoner.getModel(ExtendedTheory bbase)	Returns one conflict-free extension of the given extended theory.
Collection<Extension<ExtendedTheory>>	FlattenBasedExtendedExtensionReasoner.getModels(ExtendedTheory bbase)
Collection<Extension<ExtendedTheory>>	SimpleExtendedAdmissibleReasoner.getModels(ExtendedTheory bbase)	Returns the collection of admissible extensions of the given extended theory.
Collection<Extension<ExtendedTheory>>	SimpleExtendedCompleteReasoner.getModels(ExtendedTheory bbase)	Returns the collection of complete extensions of the given extended theory.
Collection<Extension<ExtendedTheory>>	SimpleExtendedConflictFreeReasoner.getModels(ExtendedTheory bbase)	Returns the collection of conflict-free extensions of the given extended theory.
Boolean	AbstractExtendedExtensionReasoner.query(ExtendedTheory beliefbase, Argument formula)
Boolean	AbstractExtendedExtensionReasoner.query(ExtendedTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.