SatReasoner

java.lang.Object

org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner

org.tweetyproject.logics.pl.reasoner.SatReasoner

All Implemented Interfaces:: KernelProvider<PlFormula>, QualitativeReasoner<PlBeliefSet,PlFormula>, Reasoner<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

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
- SatReasoner
  
  public SatReasoner()
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