Package org.tweetyproject.arg.caf.reasoner

package org.tweetyproject.arg.caf.reasoner

Classes

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