tuffy.test
Class ClauseTest

java.lang.Object
  tuffy.test.ClauseTest

public class ClauseTest
extends java.lang.Object

Testing Class for Clause object.

Field Summary

private static Predicate	p1
private static Predicate	p2
private static Type	type

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

Field Detail

p1

private static Predicate p1

p2

private static Predicate p2

type

private static Type type

Constructor Detail

ClauseTest

public ClauseTest()

Method Detail

setUp

public static final void setUp()

testClauseDB

public final void testClauseDB()

Test the DB-related functions of clauses, e.g., clause instance table for each Clause.

testNormalize

public final void testNormalize()

Test the normalize function of Clause.

testAbsorb

public final void testAbsorb()

Test the absorb function of clauses.

testMisc

public final void testMisc()

Test other functions related to clause.