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

Packages that use AbstractSetAfReasoner

Package	Description
org.tweetyproject.arg.setaf.reasoners

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

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

Modifier and Type	Class	Description
class	AbstractExtensionSetAfReasoner	Ancestor class for all SetAf-extension-based reasoners.
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	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.