aima.test.logictest.prop.algorithms
Class DPLLTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          aima.test.logictest.prop.algorithms.DPLLTest

All Implemented Interfaces:

junit.framework.Test

public class DPLLTest
extends junit.framework.TestCase

Author:

Ravi Mohan

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 junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail

Methods inherited from class java.lang.Object

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

Constructor Detail

DPLLTest

public DPLLTest()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

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()