aima.test.logictest.foltest
Class SubsumptionEliminationTest

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

public class SubsumptionEliminationTest
extends TestCase

Constructor Summary

SubsumptionEliminationTest()

Method Summary

void	testFindSubsumedClauses()

Methods inherited from class java.lang.Object

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

Constructor Detail

SubsumptionEliminationTest

public SubsumptionEliminationTest()

Method Detail

testFindSubsumedClauses

public void testFindSubsumedClauses()