Package net.sf.tweety.arg.dung.reasoner
Class AbstractDungReasoner
- java.lang.Object
-
- net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner
-
- All Implemented Interfaces:
net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>,net.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>
- Direct Known Subclasses:
AbstractAcceptabilityReasoner,AbstractExtensionReasoner,StratifiedLabelingReasoner
public abstract class AbstractDungReasoner extends Object implements net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>
Ancestor class for all AAF reasoners.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description AbstractDungReasoner()
-
-
-
Method Detail
-
query
public abstract Boolean query(DungTheory beliefbase, Argument formula)
- Specified by:
queryin interfacenet.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>- Specified by:
queryin interfacenet.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>
-
-