Package org.tweetyproject.logics.mln.reasoner

Class SimpleMlnReasoner

java.lang.Object

org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner

org.tweetyproject.logics.mln.reasoner.SimpleMlnReasoner

All Implemented Interfaces:

QuantitativeReasoner<MarkovLogicNetwork,FolFormula>, Reasoner<java.lang.Double,MarkovLogicNetwork,FolFormula>

public class SimpleMlnReasoner
extends AbstractMlnReasoner

Author:

mthimm

Constructor Summary

Constructors

Constructor	Description
SimpleMlnReasoner()

Method Summary

Modifier and Type	Method	Description
double	doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
void	setTempDirectory(java.lang.String str)	Sets the path of the directory for temporary files.

Methods inherited from class org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner

query, query

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleMlnReasoner

public SimpleMlnReasoner()

Method Detail

setTempDirectory

public void setTempDirectory(java.lang.String str)

Sets the path of the directory for temporary files.

Parameters:

str - a file path

doQuery

public double doQuery(MarkovLogicNetwork mln,
                      FolFormula query,
                      FolSignature signature)