aima.test.logictest.foltest
Class DomainTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          aima.test.logictest.foltest.DomainTest

All Implemented Interfaces:

junit.framework.Test

public class DomainTest
extends junit.framework.TestCase

Author:

Ravi Mohan

Constructor Summary

DomainTest()

Method Summary

void	testDomain()

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, 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

DomainTest

public DomainTest()

Method Detail

testDomain

public void testDomain()