test
Class MarkovLogicNetworkTest

java.lang.Object
  extended by infer.Infer
      extended by test.MarkovLogicNetworkTest

public class MarkovLogicNetworkTest
extends Infer

The JUnit test for MarkovLogicNetwork.


Field Summary
 
Fields inherited from class infer.Infer
db, grounding, mln, options
 
Constructor Summary
MarkovLogicNetworkTest()
           
 
Method Summary
 java.lang.String getSimpleInferenceResult()
           
 void test_hardClause()
           
 void test_initStatic()
           
 void test_MCSAT_inference()
           
 void test_simpleInference()
           
 void test_WalkSAT_inference()
           
 
Methods inherited from class infer.Infer
cleanUp, ground, loadMLN, setUp
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MarkovLogicNetworkTest

public MarkovLogicNetworkTest()
Method Detail

test_MCSAT_inference

public final void test_MCSAT_inference()
                                throws java.lang.Exception
Throws:
java.lang.Exception

test_WalkSAT_inference

public final void test_WalkSAT_inference()
                                  throws java.lang.Exception
Throws:
java.lang.Exception

test_hardClause

public final void test_hardClause()
                           throws java.lang.Exception
Throws:
java.lang.Exception

test_initStatic

public final void test_initStatic()
                           throws java.lang.Exception
Throws:
java.lang.Exception

getSimpleInferenceResult

public final java.lang.String getSimpleInferenceResult()
                                                throws java.lang.Exception
Throws:
java.lang.Exception

test_simpleInference

public final void test_simpleInference()
                                throws java.lang.Exception
Throws:
java.lang.Exception