net.sf.tweety.logics.pl

Class SatReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.pl.SatReasoner

public class SatReasoner
extends net.sf.tweety.commons.Reasoner

Uses the default SAT reasoner to perform reasoning in propositional logic

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
SatReasoner(net.sf.tweety.commons.BeliefBase beliefBase) Creates a new reasoner for the given belief base.

Method Summary

Modifier and Type	Method and Description
net.sf.tweety.commons.Answer	query(net.sf.tweety.commons.Formula query)

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SatReasoner

public SatReasoner(net.sf.tweety.commons.BeliefBase beliefBase)

Creates a new reasoner for the given belief base.

Parameters:

beliefBase -

Method Detail

query

public net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)

Specified by:

query in class net.sf.tweety.commons.Reasoner