aima.test.logictest.foltest
Class DemodulationTest

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

public class DemodulationTest
extends TestCase

Constructor Summary

DemodulationTest()

Method Summary

void	setUp()
void	testBypassReflexivityAxiom()
void	testSimpleAtomicExamples()
void	testSimpleAtomicNonExample()
void	testSimpleClauseExamples()
void	testSimpleClauseNonExample()

Methods inherited from class java.lang.Object

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

Constructor Detail

DemodulationTest

public DemodulationTest()

Method Detail

setUp

public void setUp()

testSimpleAtomicExamples

public void testSimpleAtomicExamples()

testSimpleAtomicNonExample

public void testSimpleAtomicNonExample()

testSimpleClauseExamples

public void testSimpleClauseExamples()

testSimpleClauseNonExample

public void testSimpleClauseNonExample()

testBypassReflexivityAxiom

public void testBypassReflexivityAxiom()