aima.test.logictest.foltest
Class ChainTest

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

public class ChainTest
extends TestCase

Constructor Summary

ChainTest()

Method Summary

void	testContrapositives()
void	testIsEmpty()

Methods inherited from class java.lang.Object

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

Constructor Detail

ChainTest

public ChainTest()

Method Detail

testIsEmpty

public void testIsEmpty()

testContrapositives

public void testContrapositives()