Class AbstractConditionalLogicReasoner

java.lang.Object
org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner
All Implemented Interfaces:
ModelProvider<Conditional,ClBeliefSet,RankingFunction>, QualitativeReasoner<ClBeliefSet,PlFormula>, Reasoner<Boolean,ClBeliefSet,PlFormula>
Direct Known Subclasses:
CReasoner, RuleBasedCReasoner, SimpleCReasoner, ZReasoner

public abstract class AbstractConditionalLogicReasoner extends Object implements QualitativeReasoner<ClBeliefSet,PlFormula>, ModelProvider<Conditional,ClBeliefSet,RankingFunction>
Abstract ancestor for all reasoner for conditional logic.
Author:
Matthias Thimm