SatReasoner

java.lang.Object
- net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner
- - net.sf.tweety.logics.pl.reasoner.SatReasoner

All Implemented Interfaces:

KernelProvider<PlFormula>, QualitativeReasoner<PlBeliefSet,PlFormula>, Reasoner<java.lang.Boolean,PlBeliefSet,PlFormula>
```
public class SatReasoner
extends AbstractPlReasoner
```
Uses the default SAT reasoner to perform reasoning in propositional logic

Author:

Matthias Thimm

- Constructor Summary
  
  Constructors
  Constructor Description
  
  SatReasoner()
- Method Summary
  
  Modifier and Type Method Description
  
  java.lang.Boolean query(PlBeliefSet beliefbase, PlFormula formula)
  Queries the given belief base for the given formula.
  - Methods inherited from class net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner
    getKernels, isEquivalent, query
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SatReasoner
```
public SatReasoner()
```
- Method Detail
  - query
```
public java.lang.Boolean query(PlBeliefSet beliefbase,
                               PlFormula formula)
```
    Description copied from interface: Reasoner
    
    Queries the given belief base for the given formula.
    
    Specified by:
    
    query in interface QualitativeReasoner<PlBeliefSet,PlFormula>
    
    Specified by:
    
    query in interface Reasoner<java.lang.Boolean,PlBeliefSet,PlFormula>
    
    Specified by:
    
    query in class AbstractPlReasoner
    
    Parameters:
    
    beliefbase - a belief base
    
    formula - a formula
    
    Returns:
    
    the answer to the query