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 instanceDirectionalAspicReasoner(AbstractExtensionReasoner aafReasoner)
Creates a new instanceDirectionalAspicReasoner(AbstractExtensionReasoner aafReasoner, double prob)
Creates a new instanceModuleBasedAspicReasoner(AbstractExtensionReasoner aafReasoner)
Creates a new instanceRandomAspicReasoner(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.Fields in net.sf.tweety.arg.dung.reasoner declared as AbstractExtensionReasoner Modifier and Type Field Description private AbstractExtensionReasoner
EeeAcceptabilityReasoner. reasoner
private AbstractExtensionReasoner
IaqAcceptabilityReasoner. reasoner
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.Constructors in net.sf.tweety.arg.dung.reasoner with parameters of type AbstractExtensionReasoner Constructor Description EeeAcceptabilityReasoner(AbstractExtensionReasoner reasoner, InferenceMode inferenceMode)
Creates a new EeeAcceptabilityReasoner.IaqAcceptabilityReasoner(AbstractExtensionReasoner reasoner, InferenceMode inferenceMode)
Creates a new IaqAcceptabilityReasoner. -
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
-