Uses of Class
org.tweetyproject.arg.setaf.reasoners.AbstractExtensionSetAfReasoner

Packages that use AbstractExtensionSetAfReasoner

Package	Description
org.tweetyproject.arg.setaf.reasoners

Uses of AbstractExtensionSetAfReasoner in org.tweetyproject.arg.setaf.reasoners

Subclasses of AbstractExtensionSetAfReasoner in org.tweetyproject.arg.setaf.reasoners

Modifier and Type	Class	Description
class	SimpleAdmissibleSetAfReasoner	This reasoner for SetAf theories performs inference on the admissible extensions.
class	SimpleCompleteSetAfReasoner	This reasoner for SetAf theories performs inference on the complete extensions.
class	SimpleConflictFreeSetAfReasoner	This reasoner for SetAf theories performs inference on the conflict-free extensions.
class	SimpleEagerSetAfReasoner	simple reasoner for eager semantics
class	SimpleGroundedSetAfReasoner	This reasoner for SetAf theories performs inference on the grounded extension.
class	SimpleIdealSetAfReasoner	This reasoner for setAf theories performs inference on the ideal extension.
class	SimpleNaiveSetAfReasoner	Reasoner for naive extensions.
class	SimplePreferredSetAfReasoner	This reasoner for setaf theories performs inference on the preferred extensions.
class	SimpleSemiStableSetAfReasoner	This reasoner for setaf theories performs inference on the semi-stable extensions.
class	SimpleStableSetAfReasoner	This reasoner for setaf theories performs inference on the stable extensions.
class	SimpleStageSetAfReasoner	This reasoner for setaf theories performs inference on the stage extensions.

Methods in org.tweetyproject.arg.setaf.reasoners that return AbstractExtensionSetAfReasoner

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