aima.test.logictest.prop.visitors
Class CNFClauseGathererTest

java.lang.Object
  TestCase
      aima.test.logictest.prop.visitors.CNFClauseGathererTest

public class CNFClauseGathererTest
extends TestCase

Constructor Summary

CNFClauseGathererTest()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

CNFClauseGathererTest

public CNFClauseGathererTest()

Method Detail

setUp

public void setUp()

testSymbol

public void testSymbol()

testNotSentence

public void testNotSentence()

testSimpleAndClause

public void testSimpleAndClause()

testMultiAndClause

public void testMultiAndClause()

testMultiAndClause2

public void testMultiAndClause2()

testAimaExample

public void testAimaExample()