aima.test.logictest.prop.visitors
Class CNFClauseGathererTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          aima.test.logictest.prop.visitors.CNFClauseGathererTest

All Implemented Interfaces:

junit.framework.Test

public class CNFClauseGathererTest
extends junit.framework.TestCase

Author:

Ravi Mohan

Constructor Summary

CNFClauseGathererTest()

Method Summary

void	setUp()
void	testAimaExample()
void	testMultiAndClause()
void	testMultiAndClause2()
void	testNotSentence()
void	testSimpleAndClause()
void	testSymbol()

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

CNFClauseGathererTest

public CNFClauseGathererTest()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

testSymbol

public void testSymbol()

testNotSentence

public void testNotSentence()

testSimpleAndClause

public void testSimpleAndClause()

testMultiAndClause

public void testMultiAndClause()

testMultiAndClause2

public void testMultiAndClause2()

testAimaExample

public void testAimaExample()