aima.test.logictest.foltest
Class ClauseTest

java.lang.Object
  TestCase
      aima.test.logictest.foltest.ClauseTest

public class ClauseTest
extends TestCase

Constructor Summary

ClauseTest()

Method Summary

void	setUp()
void	testBinaryResolvents()
void	testBinaryResolventsOrderDoesNotMatter()
void	testComplexEquals()
void	testEqualityBinaryResolvents()
void	testHashCode()
void	testImmutable()
void	testIsDefiniteClause()
void	testIsEmpty()
void	testIsHornClause()
void	testIsImplicationDefiniteClause()
void	testIsTautology()
void	testIsUnitClause()
void	testNonTrivialFactors()
void	testSimpleEquals()
void	testSubsumes()

Methods inherited from class java.lang.Object

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

Constructor Detail

ClauseTest

public ClauseTest()

Method Detail

setUp

public void setUp()

testImmutable

public void testImmutable()

testIsEmpty

public void testIsEmpty()

testIsHornClause

public void testIsHornClause()

testIsDefiniteClause

public void testIsDefiniteClause()

testIsUnitClause

public void testIsUnitClause()

testIsImplicationDefiniteClause

public void testIsImplicationDefiniteClause()

testBinaryResolvents

public void testBinaryResolvents()

testBinaryResolventsOrderDoesNotMatter

public void testBinaryResolventsOrderDoesNotMatter()

testEqualityBinaryResolvents

public void testEqualityBinaryResolvents()

testHashCode

public void testHashCode()

testSimpleEquals

public void testSimpleEquals()

testComplexEquals

public void testComplexEquals()

testNonTrivialFactors

public void testNonTrivialFactors()

testIsTautology

public void testIsTautology()

testSubsumes

public void testSubsumes()