Class AbstractSetAfReasoner
java.lang.Object
org.tweetyproject.arg.setaf.reasoners.AbstractSetAfReasoner
- All Implemented Interfaces:
QualitativeReasoner<SetAf,Argument>
,Reasoner<Boolean,SetAf,Argument>
- Direct Known Subclasses:
AbstractExtensionSetAfReasoner
public abstract class AbstractSetAfReasoner
extends Object
implements QualitativeReasoner<SetAf,Argument>
Ancestor class for all Setaf reasoners.
- Author:
- Sebastian Franke
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
AbstractSetAfReasoner
public AbstractSetAfReasoner()
-
-
Method Details
-
query
Description copied from interface:Reasoner
Queries the given belief base for the given formula.
-