Method |
Description |
|
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 |
|
|