public class SatReasoner extends AbstractPropositionalLogicReasoner
Constructor and Description |
---|
SatReasoner() |
Modifier and Type | Method and Description |
---|---|
java.lang.Boolean |
query(PlBeliefSet beliefbase,
PropositionalFormula formula)
Queries the given belief base for the given formula.
|
getKernels, isEquivalent, query
public java.lang.Boolean query(PlBeliefSet beliefbase, PropositionalFormula formula)
Reasoner
query
in interface QualitativeReasoner<PlBeliefSet,PropositionalFormula>
query
in interface Reasoner<java.lang.Boolean,PlBeliefSet,PropositionalFormula>
query
in class AbstractPropositionalLogicReasoner
beliefbase
- a belief baseformula
- a formula