aima.test.logictest.prop.algorithms
Class WalkSATTest

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

All Implemented Interfaces:

junit.framework.Test

public class WalkSATTest
extends junit.framework.TestCase

Author:

Ravi Mohan

Constructor Summary

WalkSATTest()

Method Summary

void	testAIMAExample()
void	testWalkSat()
void	testWalkSat2()

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

WalkSATTest

public WalkSATTest()

Method Detail

testWalkSat

public void testWalkSat()

testWalkSat2

public void testWalkSat2()

testAIMAExample

public void testAIMAExample()