aima.test.logictest.prop.algorithms
Class WalkSATTest

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

public class WalkSATTest
extends TestCase

Constructor Summary

WalkSATTest()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

WalkSATTest

public WalkSATTest()

Method Detail

testWalkSat

public void testWalkSat()

testWalkSat2

public void testWalkSat2()

testAIMAExample

public void testAIMAExample()