Uses of Class
net.sf.tweety.arg.dung.AbstractExtensionReasoner

Packages that use AbstractExtensionReasoner

Package	Description
net.sf.tweety.arg.dung

Uses of AbstractExtensionReasoner in net.sf.tweety.arg.dung

Subclasses of AbstractExtensionReasoner in net.sf.tweety.arg.dung

Modifier and Type	Class and Description
class	AdmissibleReasoner This reasoner for Dung theories performs inference on the admissible extensions.
class	CF2Reasoner This reasoner for Dung theories performs inference on the CF2 extensions.
class	CompleteReasoner This reasoner for Dung theories performs inference on the complete extensions.
class	ConflictFreeReasoner This reasoner for Dung theories performs inference on the conflict-free extensions.
class	GroundReasoner This reasoner for Dung theories performs inference on the grounded extension.
class	IdealReasoner This reasoner for Dung theories performs inference on the ideal extension.
class	PreferredReasoner This reasoner for Dung theories performs inference on the preferred extensions.
class	SccCompleteReasoner This reasoner for Dung theories performs inference on the complete extensions.
class	SemiStableReasoner This reasoner for Dung theories performs inference on the semi-stable extensions.
class	StableReasoner This reasoner for Dung theories performs inference on the stable extensions.
class	StageReasoner This reasoner for Dung theories performs inference on the stage extensions.

Methods in net.sf.tweety.arg.dung that return AbstractExtensionReasoner

Modifier and Type	Method and Description
static AbstractExtensionReasoner	AbstractExtensionReasoner.getReasonerForSemantics(net.sf.tweety.commons.BeliefBase beliefBase, Semantics semantics, int inferenceType) Creates a reasoner for the given semantics.