tuffy.test
Class ClauseTest

java.lang.Object
  extended by tuffy.test.ClauseTest

public class ClauseTest
extends java.lang.Object

Testing Class for Clause object.


Constructor Summary
ClauseTest()
           
 
Method Summary
static void setUp()
           
 void testAbsorb()
          Test the absorb function of clauses.
 void testClauseDB()
          Test the DB-related functions of clauses, e.g., clause instance table for each Clause.
 void testMisc()
          Test other functions related to clause.
 void testNormalize()
          Test the normalize function of Clause.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ClauseTest

public ClauseTest()
Method Detail

setUp

public static final void setUp()

testAbsorb

public final void testAbsorb()
Test the absorb function of clauses.


testClauseDB

public final void testClauseDB()
Test the DB-related functions of clauses, e.g., clause instance table for each Clause.


testMisc

public final void testMisc()
Test other functions related to clause.


testNormalize

public final void testNormalize()
Test the normalize function of Clause.