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

Packages that use AbstractExtendedExtensionReasoner

Package	Description
org.tweetyproject.arg.extended.reasoner

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

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

Modifier and Type	Class	Description
class	FlattenBasedExtendedExtensionReasoner	General reasoner for extended theories that computes extended by flattening and then computing the AF extensions
class	SimpleExtendedAdmissibleReasoner	Simple reasoner for computing admissible sets of extended theories.
class	SimpleExtendedCompleteReasoner	Simple reasoner for computing complete extensions of extended theories.
class	SimpleExtendedConflictFreeReasoner	Simple reasoner for computing conflict-free sets of extended theories.

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

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