Uses of Class
org.tweetyproject.arg.caf.reasoner.AbstractCAFReasoner

Packages that use AbstractCAFReasoner

Package	Description
org.tweetyproject.arg.caf.reasoner

Uses of AbstractCAFReasoner in org.tweetyproject.arg.caf.reasoner

Subclasses of AbstractCAFReasoner in org.tweetyproject.arg.caf.reasoner

Modifier and Type	Class	Description
class	SimpleCAFAdmissibleReasoner	This reasoner for constrained Dung theories performs inference on the C-admissible extensions.
class	SimpleCAFGroundedReasoner	This reasoner for constrained Dung theories (CAF) performs inference on the C-grounded extension.
class	SimpleCAFPreferredReasoner	This reasoner for constrained Dung theories performs inference on the C-prefered extensions.
class	SimpleCAFStableReasoner	This reasoner for constrained Dung theories performs inference on the C-stable extensions.
class	SimpleCAFWeakGroundedReasoner	This reasoner for constrained Dung theories (CAF) performs inference on the weak grounded extension.

Methods in org.tweetyproject.arg.caf.reasoner that return AbstractCAFReasoner

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