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

Packages that use AbstractExtensionReasoner

Package	Description
net.sf.tweety.arg.aspic.reasoner
net.sf.tweety.arg.dung.reasoner
net.sf.tweety.arg.saf.reasoner

Uses of AbstractExtensionReasoner in net.sf.tweety.arg.aspic.reasoner

Fields in net.sf.tweety.arg.aspic.reasoner declared as AbstractExtensionReasoner

Modifier and Type	Field	Description
private AbstractExtensionReasoner	AbstractAspicReasoner.aafReasoner	Underlying reasoner for AAFs.

Constructors in net.sf.tweety.arg.aspic.reasoner with parameters of type AbstractExtensionReasoner

Constructor	Description
AbstractAspicReasoner(AbstractExtensionReasoner aafReasoner)	Creates a new instance
DirectionalAspicReasoner(AbstractExtensionReasoner aafReasoner)	Creates a new instance
DirectionalAspicReasoner(AbstractExtensionReasoner aafReasoner, double prob)	Creates a new instance
ModuleBasedAspicReasoner(AbstractExtensionReasoner aafReasoner)	Creates a new instance
RandomAspicReasoner(AbstractExtensionReasoner aafReasoner, int maxArguments, int maxDuplicates)	Creates a new instance.
SimpleAspicReasoner(AbstractExtensionReasoner aafReasoner)	Creates a new instance

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

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

Modifier and Type	Class	Description
class	AbstractSatExtensionReasoner	Uses a provided SAT solver to solve reasoning problems in AAFs.
class	ProboReasoner	This reasoner makes use of an external executable for solving reasoning problems in abstract argumentation.
class	SatCompleteReasoner	Uses a SAT solver to determine complete extensions.
class	SatStableReasoner	Uses a SAT solver to determine stable extensions.
class	SimpleAdmissibleReasoner	This reasoner for Dung theories performs inference on the admissible extensions.
class	SimpleCF2Reasoner	This reasoner for Dung theories performs inference on the CF2 extensions.
class	SimpleCompleteReasoner	This reasoner for Dung theories performs inference on the complete extensions.
class	SimpleConflictFreeReasoner	This reasoner for Dung theories performs inference on the conflict-free extensions.
class	SimpleGroundedReasoner	This reasoner for Dung theories performs inference on the grounded extension.
class	SimpleIdealReasoner	This reasoner for Dung theories performs inference on the ideal extension.
class	SimplePreferredReasoner	This reasoner for Dung theories performs inference on the preferred extensions.
class	SimpleSccCompleteReasoner	This reasoner for Dung theories performs inference on the complete extensions.
class	SimpleSemiStableReasoner	This reasoner for Dung theories performs inference on the semi-stable extensions.
class	SimpleStableReasoner	This reasoner for Dung theories performs inference on the stable extensions.
class	SimpleStageReasoner	This reasoner for Dung theories performs inference on the stage extensions.

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

Modifier and Type	Method	Description
static AbstractExtensionReasoner	AbstractExtensionReasoner.getSimpleReasonerForSemantics(Semantics semantics)	Creates a reasoner for the given semantics.

Uses of AbstractExtensionReasoner in net.sf.tweety.arg.saf.reasoner

Fields in net.sf.tweety.arg.saf.reasoner declared as AbstractExtensionReasoner

Modifier and Type	Field	Description
private AbstractExtensionReasoner	OutputReasoner.reasoner	The reasoner used for computing the extensions of the induced Dung theory.

Constructors in net.sf.tweety.arg.saf.reasoner with parameters of type AbstractExtensionReasoner

Constructor	Description
OutputReasoner(AbstractExtensionReasoner reasoner)	Creates a new reasoner