Package org.tweetyproject.arg.extended.reasoner

package org.tweetyproject.arg.extended.reasoner

Classes

Class	Description
AbstractExtendedExtensionReasoner	Abstract extension reasoner for reasoning with extended theories
AbstractRecursiveExtendedExtensionReasoner	Abstract extension reasoner for reasoning with recursive extended theories
FlattenBasedExtendedExtensionReasoner	General reasoner for extended theories that computes extended by flattening and then computing the AF extensions
SimpleExtendedAdmissibleReasoner	Simple reasoner for computing admissible sets of extended theories.
SimpleExtendedCompleteReasoner	Simple reasoner for computing complete extensions of extended theories.
SimpleExtendedConflictFreeReasoner	Simple reasoner for computing conflict-free sets of extended theories.
SimpleRecursiveExtendedAdmissibleReasoner	Simple reasoner for computing admissible sets of recursive extended theories.
SimpleRecursiveExtendedCompleteReasoner	Simple reasoner for computing complete extensions of recursive extended theories.
SimpleRecursiveExtendedConflictFreeReasoner	Simple reasoner for computing conflict-free sets of recursive extended theories.