tuffy.test
Class GroundingTest

java.lang.Object
  extended by tuffy.main.Infer
      extended by tuffy.test.GroundingTest

public class GroundingTest
extends Infer

Testing class for grounding.


Field Summary
 
Fields inherited from class tuffy.main.Infer
db, dmover, grounding, mln, options
 
Constructor Summary
GroundingTest()
           
 
Method Summary
 java.lang.String getSimpleInferenceResult()
           
 void testGrounding()
          Test the function of grounding by counting the number of resulting atoms and clauses.
 
Methods inherited from class tuffy.main.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

GroundingTest

public GroundingTest()
Method Detail

testGrounding

public void testGrounding()
                   throws java.lang.Exception
Test the function of grounding by counting the number of resulting atoms and clauses.

Throws:
java.lang.Exception

getSimpleInferenceResult

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