aima.test.logictest.foltest
Class FOLSubstTest

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

public class FOLSubstTest
extends TestCase

Constructor Summary

FOLSubstTest()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FOLSubstTest

public FOLSubstTest()

Method Detail

setUp

public void setUp()

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

testParanthisedSingleVariable

public void testParanthisedSingleVariable()