aima.test.logictest.foltest
Class CNFConverterTest

java.lang.Object
  TestCase
      aima.test.logictest.foltest.CNFConverterTest

public class CNFConverterTest
extends TestCase

Constructor Summary

CNFConverterTest()

Method Summary

void	testExamplePg295()
void	testExamplePg296()
void	testExamplesPg299()
void	testImplicationsAndExtendedAndsOrs()
void	testInductionAxiomSchema()
void	testNegationsAndNestedImplications()
void	testNestedExistsAndOrs()
void	testTermEquality()

Methods inherited from class java.lang.Object

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

Constructor Detail

CNFConverterTest

public CNFConverterTest()

Method Detail

testExamplePg295

public void testExamplePg295()

testExamplePg296

public void testExamplePg296()

testExamplesPg299

public void testExamplesPg299()

testNestedExistsAndOrs

public void testNestedExistsAndOrs()

testImplicationsAndExtendedAndsOrs

public void testImplicationsAndExtendedAndsOrs()

testNegationsAndNestedImplications

public void testNegationsAndNestedImplications()

testInductionAxiomSchema

public void testInductionAxiomSchema()

testTermEquality

public void testTermEquality()