Uses of Class
org.tweetyproject.arg.eaf.reasoner.AbstractEAFReasoner

Packages that use AbstractEAFReasoner

Package	Description
org.tweetyproject.arg.eaf.reasoner

Uses of AbstractEAFReasoner in org.tweetyproject.arg.eaf.reasoner

Subclasses of AbstractEAFReasoner in org.tweetyproject.arg.eaf.reasoner

Modifier and Type	Class	Description
class	SimpleEAFAdmissibleReasoner	This reasoner for epistemic Dung theories performs inference on the admissible extension.
class	SimpleEAFCompleteReasoner	This reasoner for epistemic Dung theories performs inference on the complete extension.
class	SimpleEAFGroundedReasoner	This reasoner for epistemic Dung theories performs inference on the grounded extension.
class	SimpleEAFPreferredReasoner	This reasoner for epistemic Dung theories performs inference on the preferred extension.
class	SimpleEAFStableReasoner	This reasoner for epistemic Dung theories performs inference on the stable extension.

Methods in org.tweetyproject.arg.eaf.reasoner that return AbstractEAFReasoner

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