aima.test.logictest.prop.algorithms
Class ModelTest

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

All Implemented Interfaces:

junit.framework.Test

public class ModelTest
extends junit.framework.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 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

ModelTest

public ModelTest()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

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