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