aima.test.logictest.prop.algorithms
Class TTEntailsTest

java.lang.Object
  TestCase
      aima.test.logictest.prop.algorithms.TTEntailsTest

public class TTEntailsTest
extends TestCase

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 java.lang.Object

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

Constructor Detail

TTEntailsTest

public TTEntailsTest()

Method Detail

setUp

public void setUp()

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