Class AbstractMlReasoner

java.lang.Object
org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner
All Implemented Interfaces:
QualitativeReasoner<MlBeliefSet,FolFormula>, Reasoner<Boolean,MlBeliefSet,FolFormula>
Direct Known Subclasses:
MleanCoPReasoner, SimpleMlReasoner, SPASSMlReasoner

public abstract class AbstractMlReasoner extends Object implements QualitativeReasoner<MlBeliefSet,FolFormula>
Abstract modal reasoner to be implemented by concrete reasoners.
Author:
Bastian Wolf, Nils Geilen, Anna Gessler, Matthias Thimm