test
Class GClauseTest

java.lang.Object
  extended by test.GClauseTest

public class GClauseTest
extends java.lang.Object

Testing class for GClause object.


Constructor Summary
GClauseTest()
           
 
Method Summary
 void test_GClause_contain()
          Test the relationship between GClause and GAtom.
 void test_GClause_toString()
          Test function transforming GClause object to String representation.
 void test_GClause_weight()
          Test weight-related function of GClause, i.e., the relationships between 1) weight; 2) cost and 3) # satisfied GAtom in GClause.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GClauseTest

public GClauseTest()
Method Detail

test_GClause_contain

public final void test_GClause_contain()
Test the relationship between GClause and GAtom. E.g., 1) determining whether a GClause object containing a GAtom object; 2) replacing atoms in a GClause, etc.


test_GClause_toString

public final void test_GClause_toString()
Test function transforming GClause object to String representation.


test_GClause_weight

public final void test_GClause_weight()
Test weight-related function of GClause, i.e., the relationships between 1) weight; 2) cost and 3) # satisfied GAtom in GClause.