Class SimpleMlnReasoner
- java.lang.Object
-
- net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner
-
- net.sf.tweety.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 net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner
query, query
-
-
-
-
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)
-
-