Class 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 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