aima.test.logictest.prop.visitors
Class CNFTransformerTest

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

public class CNFTransformerTest
extends TestCase

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 java.lang.Object

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

Constructor Detail

CNFTransformerTest

public CNFTransformerTest()

Method Detail

setUp

public void setUp()

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