aima.test.logictest.prop.algorithms
Class TTEntailsTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          aima.test.logictest.prop.algorithms.TTEntailsTest

All Implemented Interfaces:

junit.framework.Test

public class TTEntailsTest
extends junit.framework.TestCase

Author:

Ravi Mohan

Constructor Summary

TTEntailsTest()

Method Summary

void	setUp()
void	testModelEvaluation()
void	testNewAIMAExample()
void	testSimpleSentence1()
void	testSimpleSentence2()
void	testSimpleSentence3()
void	testSimpleSentence4()
void	testSimpleSentence5()
void	testSimpleSentence6()
void	testSUnkownSymbol()
void	testTTEntailsSucceedsWithChadCarffsBugReport()

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

TTEntailsTest

public TTEntailsTest()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

testSimpleSentence1

public void testSimpleSentence1()

testSimpleSentence2

public void testSimpleSentence2()

testSimpleSentence3

public void testSimpleSentence3()

testSimpleSentence4

public void testSimpleSentence4()

testSimpleSentence5

public void testSimpleSentence5()

testSUnkownSymbol

public void testSUnkownSymbol()

testSimpleSentence6

public void testSimpleSentence6()

testNewAIMAExample

public void testNewAIMAExample()

testTTEntailsSucceedsWithChadCarffsBugReport

public void testTTEntailsSucceedsWithChadCarffsBugReport()

testModelEvaluation

public void testModelEvaluation()