aima.test.logictest.prop.visitors
Class CNFTransformerTest

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

All Implemented Interfaces:

junit.framework.Test

public class CNFTransformerTest
extends junit.framework.TestCase

Author:

Ravi Mohan

Constructor Summary

CNFTransformerTest()

Method Summary

void	setUp()
void	testAimaExample()
void	testBasicSentenceTransformation()
void	testBiConditionalTransformation()
void	testDeMorgan1()
void	testDeMorgan2()
void	testFourSuccessiveNotsTransformation()
void	testImplicationTransformation()
void	testOrDistribution1()
void	testOrDistribution2()
void	testSymbolTransform()
void	testThreeSuccessiveNotsTransformation()
void	testTwoSuccessiveNotsTransformation()

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

CNFTransformerTest

public CNFTransformerTest()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

testSymbolTransform

public void testSymbolTransform()

testBasicSentenceTransformation

public void testBasicSentenceTransformation()

testImplicationTransformation

public void testImplicationTransformation()

testBiConditionalTransformation

public void testBiConditionalTransformation()

testTwoSuccessiveNotsTransformation

public void testTwoSuccessiveNotsTransformation()

testThreeSuccessiveNotsTransformation

public void testThreeSuccessiveNotsTransformation()

testFourSuccessiveNotsTransformation

public void testFourSuccessiveNotsTransformation()

testDeMorgan1

public void testDeMorgan1()

testDeMorgan2

public void testDeMorgan2()

testOrDistribution1

public void testOrDistribution1()

testOrDistribution2

public void testOrDistribution2()

testAimaExample

public void testAimaExample()