aima.test.logictest.prop.algorithms
Class PLResolutionTest

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

All Implemented Interfaces:

junit.framework.Test

public class PLResolutionTest
extends junit.framework.TestCase

Author:

Ravi Mohan

Constructor Summary

PLResolutionTest()

Method Summary

void	setUp()
void	testPLResolve1()
void	testPLResolve2()
void	testPLResolve3()
void	testPLResolve4()
void	testPLResolve5()
void	testPLResolveWithNoLiteralMatching()
void	testPLResolveWithOneLiteralMatching()
void	testPLResolveWithOneLiteralSentencesMatching()
void	testPLResolveWithTwoLiteralsMatching()

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

PLResolutionTest

public PLResolutionTest()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

testPLResolveWithOneLiteralMatching

public void testPLResolveWithOneLiteralMatching()

testPLResolveWithNoLiteralMatching

public void testPLResolveWithNoLiteralMatching()

testPLResolveWithOneLiteralSentencesMatching

public void testPLResolveWithOneLiteralSentencesMatching()

testPLResolveWithTwoLiteralsMatching

public void testPLResolveWithTwoLiteralsMatching()

testPLResolve1

public void testPLResolve1()

testPLResolve2

public void testPLResolve2()

testPLResolve3

public void testPLResolve3()

testPLResolve4

public void testPLResolve4()

testPLResolve5

public void testPLResolve5()