tuffy.test
Class GClauseTest

java.lang.Object
  tuffy.test.GClauseTest

public class GClauseTest
extends java.lang.Object

Testing class for GClause object.

Field Summary

(package private) static GClause

gc

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

Field Detail

gc

static GClause gc

Constructor Detail

GClauseTest

public GClauseTest()

Method Detail

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.

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.