Class SimpleMlnReasoner
java.lang.Object
org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner
org.tweetyproject.logics.mln.reasoner.SimpleMlnReasoner
- All Implemented Interfaces:
QuantitativeReasoner<MarkovLogicNetwork,FolFormula>
,Reasoner<Double,MarkovLogicNetwork,FolFormula>
- Author:
- mthimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiondouble
doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
void
setTempDirectory(String str)
Sets the path of the directory for temporary files.Methods inherited from class org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner
query, query
-
Constructor Details
-
SimpleMlnReasoner
public SimpleMlnReasoner()
-
-
Method Details
-
setTempDirectory
Sets the path of the directory for temporary files.- Parameters:
str
- a file path
-
doQuery
-