aima.test.logictest.prop.algorithms
Class PLResolutionTest

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

public class PLResolutionTest
extends TestCase

Constructor Summary

PLResolutionTest()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PLResolutionTest

public PLResolutionTest()

Method Detail

setUp

public void setUp()

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

testMultipleClauseResolution

public void testMultipleClauseResolution()