aima.test.logictest.foltest
Class FOLSubstTest

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

All Implemented Interfaces:

junit.framework.Test

public class FOLSubstTest
extends junit.framework.TestCase

Author:

Ravi Mohan

Constructor Summary

FOLSubstTest()

Method Summary

void	setUp()
void	testConnectiveANDSentenceAndSngleVariable()
void	testMultipleVariablePartiallySucceedsWithPredicate()
void	testMultipleVariableSubstitutionWithPredicate()
void	testParanthisedSngleVariable()
void	testSubstSingleVariableFailsWithPredicate()
void	testSubstSingleVariableSucceedsWithPredicate()
void	testSubstSingleVariableSucceedsWithTermEquality()
void	testSubstSingleVariableSucceedsWithTermEquality2()
void	testSubstWithExistentialQuantifierAndSngleVariable()
void	testSubstWithNOTSentenceAndSngleVariable()
void	testSubstWithUniversalQuantifierAndOneOfTwoVariablesMatched()
void	testSubstWithUniversalQuantifierAndSngleVariable()
void	testSubstWithUniversalQuantifierAndZeroVariablesMatched()

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

FOLSubstTest

public FOLSubstTest()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

testSubstSingleVariableSucceedsWithPredicate

public void testSubstSingleVariableSucceedsWithPredicate()

testSubstSingleVariableFailsWithPredicate

public void testSubstSingleVariableFailsWithPredicate()

testMultipleVariableSubstitutionWithPredicate

public void testMultipleVariableSubstitutionWithPredicate()

testMultipleVariablePartiallySucceedsWithPredicate

public void testMultipleVariablePartiallySucceedsWithPredicate()

testSubstSingleVariableSucceedsWithTermEquality

public void testSubstSingleVariableSucceedsWithTermEquality()

testSubstSingleVariableSucceedsWithTermEquality2

public void testSubstSingleVariableSucceedsWithTermEquality2()

testSubstWithUniversalQuantifierAndSngleVariable

public void testSubstWithUniversalQuantifierAndSngleVariable()

testSubstWithUniversalQuantifierAndZeroVariablesMatched

public void testSubstWithUniversalQuantifierAndZeroVariablesMatched()

testSubstWithUniversalQuantifierAndOneOfTwoVariablesMatched

public void testSubstWithUniversalQuantifierAndOneOfTwoVariablesMatched()

testSubstWithExistentialQuantifierAndSngleVariable

public void testSubstWithExistentialQuantifierAndSngleVariable()

testSubstWithNOTSentenceAndSngleVariable

public void testSubstWithNOTSentenceAndSngleVariable()

testConnectiveANDSentenceAndSngleVariable

public void testConnectiveANDSentenceAndSngleVariable()

testParanthisedSngleVariable

public void testParanthisedSngleVariable()