Uses of Class
org.tweetyproject.arg.extended.reasoner.AbstractRecursiveExtendedExtensionReasoner

Packages that use AbstractRecursiveExtendedExtensionReasoner

Package	Description
org.tweetyproject.arg.extended.reasoner

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

Subclasses of AbstractRecursiveExtendedExtensionReasoner in org.tweetyproject.arg.extended.reasoner

Modifier and Type	Class	Description
class	SimpleRecursiveExtendedAdmissibleReasoner	Simple reasoner for computing admissible sets of recursive extended theories.
class	SimpleRecursiveExtendedCompleteReasoner	Simple reasoner for computing complete extensions of recursive extended theories.
class	SimpleRecursiveExtendedConflictFreeReasoner	Simple reasoner for computing conflict-free sets of recursive extended theories.

Methods in org.tweetyproject.arg.extended.reasoner that return AbstractRecursiveExtendedExtensionReasoner

Modifier and Type	Method	Description
static AbstractRecursiveExtendedExtensionReasoner	AbstractRecursiveExtendedExtensionReasoner.getSimpleReasonerForSemantics(Semantics semantics)	Returns a simple recursive extended theory reasoner for the given semantics