aima.test.logictest.foltest
Class FOLParserTest

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

public class FOLParserTest
extends TestCase

Constructor Summary

FOLParserTest()

Method Summary

Function	getBrotherOfFunction(Term t)
Function	getEnemyOfFunction()
Predicate	getKingPredicate(Term t)
Function	getLegsOfFunction()
void	setUp()
void	testComplexConnectedSentence1()
void	testConnectedImplication()
void	testExtraParanthizedSentence()
void	testNotAllowedParseLeadingIndexedVariable()
void	testNotSentence()
void	testParseComplexParanthizedSentence()
void	testParseFunction()
void	testParseIndexedVariable()
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 java.lang.Object

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

Constructor Detail

FOLParserTest

public FOLParserTest()

Method Detail

setUp

public void setUp()

testParseSimpleVariable

public void testParseSimpleVariable()

testParseIndexedVariable

public void testParseIndexedVariable()

testNotAllowedParseLeadingIndexedVariable

public void testNotAllowedParseLeadingIndexedVariable()

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

getEnemyOfFunction

public Function getEnemyOfFunction()

getLegsOfFunction

public Function getLegsOfFunction()

getKingPredicate

public Predicate getKingPredicate(Term t)

testParseMultiArityFunctionEquality

public void testParseMultiArityFunctionEquality()

testConnectedImplication

public void testConnectedImplication()