aima.test.logictest.foltest
Class UnifierTest

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

public class UnifierTest
extends TestCase

Constructor Summary

UnifierTest()

Method Summary

void	setUp()
void	testAdditionalVariableMixtures()
void	testCascadedOccursCheck()
void	testConnectedSentence()
void	testFailureIfThetaisNull()
void	testKnows1()
void	testKnows2()
void	testKnows3()
void	testKnows5()
void	testNOTSentence()
void	testQuantifiedSentence()
void	testSimpleVariableUnification()
void	testTermEquality()
void	testThetaPassedBackIfXEqualsYBothVariables()
void	testUnificationFailure()
void	testVariableEqualsConstant()

Methods inherited from class java.lang.Object

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

Constructor Detail

UnifierTest

public UnifierTest()

Method Detail

setUp

public void setUp()

testFailureIfThetaisNull

public void testFailureIfThetaisNull()

testUnificationFailure

public void testUnificationFailure()

testThetaPassedBackIfXEqualsYBothVariables

public void testThetaPassedBackIfXEqualsYBothVariables()

testVariableEqualsConstant

public void testVariableEqualsConstant()

testSimpleVariableUnification

public void testSimpleVariableUnification()

testKnows1

public void testKnows1()

testKnows2

public void testKnows2()

testKnows3

public void testKnows3()

testKnows5

public void testKnows5()

testCascadedOccursCheck

public void testCascadedOccursCheck()

testAdditionalVariableMixtures

public void testAdditionalVariableMixtures()

testTermEquality

public void testTermEquality()

testNOTSentence

public void testNOTSentence()

testConnectedSentence

public void testConnectedSentence()

testQuantifiedSentence

public void testQuantifiedSentence()