aima.test.logictest.foltest
Class FOLKnowledgeBaseTest

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

public class FOLKnowledgeBaseTest
extends TestCase

Constructor Summary

FOLKnowledgeBaseTest()

Method Summary

void	setUp()
void	testAddComplexRule()
void	testAddRuleAndFact()
void	testFactNotAddedWhenAlreadyPresent()

Methods inherited from class java.lang.Object

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

Constructor Detail

FOLKnowledgeBaseTest

public FOLKnowledgeBaseTest()

Method Detail

setUp

public void setUp()

testAddRuleAndFact

public void testAddRuleAndFact()

testAddComplexRule

public void testAddComplexRule()

testFactNotAddedWhenAlreadyPresent

public void testFactNotAddedWhenAlreadyPresent()