Package org.tweetyproject.arg.setaf.reasoners

package org.tweetyproject.arg.setaf.reasoners

Classes

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