| 메소드 | 설명 | |
|---|---|---|
| setUp ( ) : void | ||
| testBinaryResolvents ( ) : void | ||
| testBinaryResolventsOrderDoesNotMatter ( ) : void | ||
| testComplexEquals ( ) : void | ||
| testEqualityBinaryResolvents ( ) : void | ||
| testHashCode ( ) : void | ||
| testImmutable ( ) : void | ||
| testIsDefiniteClause ( ) : void | ||
| testIsEmpty ( ) : void | ||
| testIsHornClause ( ) : void | ||
| testIsImplicationDefiniteClause ( ) : void | ||
| testIsTautology ( ) : void | ||
| testIsUnitClause ( ) : void | ||
| testNonTrivialFactors ( ) : void | ||
| testSimpleEquals ( ) : void | ||
| testSubsumes ( ) : void |
