aima.test.logictest.prop.algorithms
Class PLFCEntailsTest

java.lang.Object
  TestCase
      aima.test.logictest.prop.algorithms.PLFCEntailsTest

public class PLFCEntailsTest
extends TestCase

Constructor Summary

PLFCEntailsTest()

Method Summary

void	setUp()
void	testAIMAExample()

Methods inherited from class java.lang.Object

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

Constructor Detail

PLFCEntailsTest

public PLFCEntailsTest()

Method Detail

setUp

public void setUp()

testAIMAExample

public void testAIMAExample()