Метод | Описание | |
---|---|---|
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 |