This package includes testing codes for tuffy. These tests are grouped into two categories.

Unit Testing

Testings in this group intend to test the basic data structure of Tuffy. In Tuffy, the whole system is built upon classes referring to logic or mathematical objects, e.g., Predicate, Atom, etc. All these objects are associated with several operations, e.g., a Clause object can ``absorb'' another Clause object with the same pattern. Testings in this category try to make sure such functionality works consistently with their definition and designing goals. Following classes belong to this category:

System Testing

Testings in this group intend to test the functionality of the whole Tuffy system. While Unit Testing tested the blocks of building Tuffy, testings in this group make them together. Two functions of Tuffy are tested here: Following classes belong to this category: