aima.logic.propositional.algorithms
Class WalkSAT

java.lang.Object
  aima.logic.propositional.algorithms.WalkSAT

public class WalkSAT
extends java.lang.Object

Author:

Ravi Mohan

Constructor Summary

WalkSAT()

Method Summary

Model

findModelFor(java.lang.String logicalSentence, int numberOfFlips, double probabilityOfRandomWalk)

Methods inherited from class java.lang.Object

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

Constructor Detail

WalkSAT

public WalkSAT()

Method Detail

findModelFor

public Model findModelFor(java.lang.String logicalSentence,
                          int numberOfFlips,
                          double probabilityOfRandomWalk)