NaiveQbfReasoner

java.lang.Object
- org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner
- - org.tweetyproject.logics.qbf.reasoner.NaiveQbfReasoner

All Implemented Interfaces:

KernelProvider<PlFormula>, QualitativeReasoner<PlBeliefSet,PlFormula>, Reasoner<java.lang.Boolean,PlBeliefSet,PlFormula>
```
public class NaiveQbfReasoner
extends AbstractPlReasoner
```
Naive classical inference for quantified boolean formulas (checks all interpretations for satisfiability).

Author:

Anna Gessler, Matthias Thimm

- Constructor Summary
  
  Constructors
  Constructor Description
  
  NaiveQbfReasoner()
- 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 org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner
    getKernels, isEquivalent, query
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - NaiveQbfReasoner
```
public NaiveQbfReasoner()
```
- 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