aima.test.logictest.foltest
Class FOLParserTest

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

All Implemented Interfaces:

junit.framework.Test

public class FOLParserTest
extends junit.framework.TestCase

Author:

Ravi Mohan

Constructor Summary

FOLParserTest()

Method Summary

Function	getBrotherOfFunction(java.lang.String who)
Function	getEnemyOfFunction()
Predicate	getKingPredicate(java.lang.String who)
Function	getLegsOfFunction()
void	setUp()
void	testComplexConnectedSentence1()
void	testConnectedImplication()
void	testExtraParanthizedSentence()
void	testNotSentence()
void	testParseComplexParanthizedSentence()
void	testParseFunction()
void	testParseMultiArityFunction()
void	testParseMultiArityFunctionEquality()
void	testParseSimpleConnectedSentence()
void	testParseSimpleConstant()
void	testParseSimpleVariable()
void	testPredicate()
void	testQuantifiedSentenceWithPathologicalParanthising()
void	testQuantifiedSentenceWithSingleVariable()
void	testQuantifiedSentenceWithTwoVariables()
void	testSimpleParanthizedSentence()
void	testTermEquality()
void	testTermEquality2()

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

FOLParserTest

public FOLParserTest()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

testParseSimpleVariable

public void testParseSimpleVariable()

testParseSimpleConstant

public void testParseSimpleConstant()

testParseFunction

public void testParseFunction()

testParseMultiArityFunction

public void testParseMultiArityFunction()

testPredicate

public void testPredicate()

testTermEquality

public void testTermEquality()

testTermEquality2

public void testTermEquality2()

testNotSentence

public void testNotSentence()

testSimpleParanthizedSentence

public void testSimpleParanthizedSentence()

testExtraParanthizedSentence

public void testExtraParanthizedSentence()

testParseComplexParanthizedSentence

public void testParseComplexParanthizedSentence()

testParseSimpleConnectedSentence

public void testParseSimpleConnectedSentence()

testComplexConnectedSentence1

public void testComplexConnectedSentence1()

testQuantifiedSentenceWithSingleVariable

public void testQuantifiedSentenceWithSingleVariable()

testQuantifiedSentenceWithTwoVariables

public void testQuantifiedSentenceWithTwoVariables()

testQuantifiedSentenceWithPathologicalParanthising

public void testQuantifiedSentenceWithPathologicalParanthising()

getBrotherOfFunction

public Function getBrotherOfFunction(java.lang.String who)

getEnemyOfFunction

public Function getEnemyOfFunction()

getLegsOfFunction

public Function getLegsOfFunction()

getKingPredicate

public Predicate getKingPredicate(java.lang.String who)

testParseMultiArityFunctionEquality

public void testParseMultiArityFunctionEquality()

testConnectedImplication

public void testConnectedImplication()