AbstractConditionalLogicReasoner (Tweety (Conditional) 1.17 API)

java.lang.Object
- net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<Conditional,ClBeliefSet,RankingFunction>, net.sf.tweety.commons.QualitativeReasoner<ClBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.commons.Reasoner<Boolean,ClBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>

Direct Known Subclasses:

CReasoner, RuleBasedCReasoner, SimpleCReasoner, ZReasoner
```
public abstract class AbstractConditionalLogicReasoner
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<ClBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.commons.ModelProvider<Conditional,ClBeliefSet,RankingFunction>
```
Abstract ancestor for all reasoner for conditional logic.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

AbstractConditionalLogicReasoner()

Method Summary

Modifier and Type	Method	Description
`abstract RankingFunction`	`getModel(ClBeliefSet bbase)`
`Collection<RankingFunction>`	`getModels(ClBeliefSet bbase)`
`Boolean`	`query(ClBeliefSet beliefbase, net.sf.tweety.logics.pl.syntax.PlFormula formula)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - AbstractConditionalLogicReasoner
```
public AbstractConditionalLogicReasoner()
```
- Method Detail
  - query
```
public Boolean query(ClBeliefSet beliefbase,
                     net.sf.tweety.logics.pl.syntax.PlFormula formula)
```
    Specified by:
    
    query in interface net.sf.tweety.commons.QualitativeReasoner<ClBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>
    
    Specified by:
    
    query in interface net.sf.tweety.commons.Reasoner<Boolean,ClBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>
  - getModels
```
public Collection<RankingFunction> getModels(ClBeliefSet bbase)
```
    Specified by:
    
    getModels in interface net.sf.tweety.commons.ModelProvider<Conditional,ClBeliefSet,RankingFunction>
  - getModel
```
public abstract RankingFunction getModel(ClBeliefSet bbase)
```
    Specified by:
    
    getModel in interface net.sf.tweety.commons.ModelProvider<Conditional,ClBeliefSet,RankingFunction>