Package org.tweetyproject.logics.qbf.reasoner

Class 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<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
boolean	isInstalled()
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 Details

NaiveQbfReasoner

public NaiveQbfReasoner()

Method Details

query

public 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<Boolean,PlBeliefSet,PlFormula>

Specified by:

query in class AbstractPlReasoner

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query

isInstalled

public boolean isInstalled()

Returns:

if the solver is installed