aima.test.logictest.foltest
Class ParamodulationTest

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

public class ParamodulationTest
extends TestCase

Constructor Summary

ParamodulationTest()

Method Summary

void	setUp()
void	testBypassReflexivityAxiom()
void	testMultipleTermEqualitiesInBothClausesExample()
void	testNegativeTermEquality()
void	testSimpleExample()

Methods inherited from class java.lang.Object

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

Constructor Detail

ParamodulationTest

public ParamodulationTest()

Method Detail

setUp

public void setUp()

testSimpleExample

public void testSimpleExample()

testMultipleTermEqualitiesInBothClausesExample

public void testMultipleTermEqualitiesInBothClausesExample()

testBypassReflexivityAxiom

public void testBypassReflexivityAxiom()

testNegativeTermEquality

public void testNegativeTermEquality()