aima.test.logictest.prop.algorithms
Class ModelTest

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

public class ModelTest
extends TestCase

Constructor Summary

ModelTest()

Method Summary

void	setUp()
void	testComplexSentence()
void	testEmptyModel()
void	testExtendModel()
void	testSentenceStatusWhenPFalseAndQFalse()
void	testSentenceStatusWhenPFalseAndQTrue()
void	testSentenceStatusWhenPTrueAndQFalse()
void	testSentenceStatusWhenPTrueAndQTrue()
void	testTrueFalseEvaluation()

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelTest

public ModelTest()

Method Detail

setUp

public void setUp()

testEmptyModel

public void testEmptyModel()

testExtendModel

public void testExtendModel()

testTrueFalseEvaluation

public void testTrueFalseEvaluation()

testSentenceStatusWhenPTrueAndQTrue

public void testSentenceStatusWhenPTrueAndQTrue()

testSentenceStatusWhenPFalseAndQFalse

public void testSentenceStatusWhenPFalseAndQFalse()

testSentenceStatusWhenPTrueAndQFalse

public void testSentenceStatusWhenPTrueAndQFalse()

testSentenceStatusWhenPFalseAndQTrue

public void testSentenceStatusWhenPFalseAndQTrue()

testComplexSentence

public void testComplexSentence()