aima.test.logictest.prop.algorithms
Class PLFCEntailsTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          aima.test.logictest.prop.algorithms.PLFCEntailsTest

All Implemented Interfaces:

junit.framework.Test

public class PLFCEntailsTest
extends junit.framework.TestCase

Author:

Ravi Mohan

Constructor Summary

PLFCEntailsTest()

Method Summary

void	setUp()
void	testAIMAExample()

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

PLFCEntailsTest

public PLFCEntailsTest()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

testAIMAExample

public void testAIMAExample()