aima.test.logictest.prop.algorithms
Class DPLLTest

java.lang.Object
  TestCase
      aima.test.logictest.prop.algorithms.DPLLTest

public class DPLLTest
extends TestCase

Constructor Summary

DPLLTest()

Method Summary

void	setUp()
void	testDPLLFilteringNonTrueClausesGivesNullWhenAllClausesAreKnown()
void	testDPLLFiltersClausesTheStatusOfWhichAreKnown()
void	testDPLLFindsPureNegativeSymbolsWhenTheyExist()
void	testDPLLFindsPurePositiveSymbolsWhenTheyExist()
void	testDPLLReturnsFalseWhenOneClauseFalseInModel()
void	testDPLLReturnsTrueWhenAllClausesTrueInModel()
void	testDPLLSucceedsWithAandNotA()
void	testDPLLSucceedsWithChadCarffsBugReport()
void	testDPLLSucceedsWithChadCarffsBugReport2()
void	testDPLLSucceedsWithStackOverflowBugReport1()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DPLLTest

public DPLLTest()

Method Detail

setUp

public void setUp()

testDPLLReturnsTrueWhenAllClausesTrueInModel

public void testDPLLReturnsTrueWhenAllClausesTrueInModel()

testDPLLReturnsFalseWhenOneClauseFalseInModel

public void testDPLLReturnsFalseWhenOneClauseFalseInModel()

testDPLLFiltersClausesTheStatusOfWhichAreKnown

public void testDPLLFiltersClausesTheStatusOfWhichAreKnown()

testDPLLFilteringNonTrueClausesGivesNullWhenAllClausesAreKnown

public void testDPLLFilteringNonTrueClausesGivesNullWhenAllClausesAreKnown()

testDPLLFindsPurePositiveSymbolsWhenTheyExist

public void testDPLLFindsPurePositiveSymbolsWhenTheyExist()

testDPLLFindsPureNegativeSymbolsWhenTheyExist

public void testDPLLFindsPureNegativeSymbolsWhenTheyExist()

testDPLLSucceedsWithAandNotA

public void testDPLLSucceedsWithAandNotA()

testDPLLSucceedsWithChadCarffsBugReport

public void testDPLLSucceedsWithChadCarffsBugReport()

testDPLLSucceedsWithStackOverflowBugReport1

public void testDPLLSucceedsWithStackOverflowBugReport1()

testDPLLSucceedsWithChadCarffsBugReport2

public void testDPLLSucceedsWithChadCarffsBugReport2()