aima.test.logictest.foltest
Class UnifierTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          aima.test.logictest.foltest.UnifierTest

All Implemented Interfaces:

junit.framework.Test

public class UnifierTest
extends junit.framework.TestCase

Author:

Ravi Mohan

Constructor Summary

UnifierTest()

Method Summary

void	setUp()
void	testFailureIfThetaisNull()
void	testKnows1()
void	testKnows2()
void	testKnows3()
void	testKnows5()
void	testSimpleVariableUnification()
void	testThetaPassedBackIfXEqualsYBothVariables()
void	testUnificationFailure()
void	testVariableEqualsConstant()

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail

Methods inherited from class java.lang.Object

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

Constructor Detail

UnifierTest

public UnifierTest()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

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()