AbstractMlReasoner (Tweety (Modal Logic Library) 1.17 API)

java.lang.Object
- net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner

All Implemented Interfaces:

net.sf.tweety.commons.QualitativeReasoner<MlBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.commons.Reasoner<Boolean,MlBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

Direct Known Subclasses:

MleanCoPReasoner, SimpleMlReasoner, SPASSMlReasoner
```
public abstract class AbstractMlReasoner
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<MlBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>
```
Abstract modal reasoner to be implemented by concrete reasoners.

Author:

Bastian Wolf, Nils Geilen, Anna Gessler, Matthias Thimm

Field Summary

Fields
Modifier and Type Field Description

static AbstractMlReasoner defaultReasoner
Empty default prover

Constructor Summary

Constructors
Constructor Description

AbstractMlReasoner()

Method Summary

Modifier and Type	Method	Description
`static AbstractMlReasoner`	`getDefaultReasoner()`	Returns the default reasoner for modal logic
`abstract Boolean`	`query(MlBeliefSet beliefbase, net.sf.tweety.logics.fol.syntax.FolFormula formula)`
`static void`	`setDefaultReasoner(AbstractMlReasoner reasoner)`	Set default modal reasoner with given

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

- Field Detail
  - defaultReasoner
```
public static AbstractMlReasoner defaultReasoner
```
    Empty default prover
- Constructor Detail
  - AbstractMlReasoner
```
public AbstractMlReasoner()
```
- Method Detail
  - setDefaultReasoner
```
public static void setDefaultReasoner(AbstractMlReasoner reasoner)
```
    Set default modal reasoner with given
    
    Parameters:
    
    reasoner - an ML Reasoner
  - getDefaultReasoner
```
public static AbstractMlReasoner getDefaultReasoner()
```
    Returns the default reasoner for modal logic
    
    Returns:
    
    the default modal reasoner
  - query
```
public abstract Boolean query(MlBeliefSet beliefbase,
                              net.sf.tweety.logics.fol.syntax.FolFormula formula)
```
    Specified by:
    
    query in interface net.sf.tweety.commons.QualitativeReasoner<MlBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>
    
    Specified by:
    
    query in interface net.sf.tweety.commons.Reasoner<Boolean,MlBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>