Метод |
Описание |
|
setUp ( ) : void |
|
|
testDPLLFilteringNonTrueClausesGivesNullWhenAllClausesAreKnown ( ) : void |
|
|
testDPLLFiltersClausesTheStatusOfWhichAreKnown ( ) : void |
|
|
testDPLLFindsPureNegativeSymbolsWhenTheyExist ( ) : void |
|
|
testDPLLFindsPurePositiveSymbolsWhenTheyExist ( ) : void |
|
|
testDPLLReturnsFalseWhenOneClauseFalseInModel ( ) : void |
|
|
testDPLLReturnsTrueWhenAllClausesTrueInModel ( ) : void |
|
|
testDPLLSucceedsWithAandNotA ( ) : void |
|
|
testDPLLSucceedsWithChadCarffsBugReport ( ) : void |
|
|
testDPLLSucceedsWithChadCarffsBugReport2 ( ) : void |
|
|
testDPLLSucceedsWithStackOverflowBugReport1 ( ) : void |
|
|
testDoesNotKnow ( ) : void |
|
|