infer
Class WalkSAT

java.lang.Object
  extended by infer.BDBStore
      extended by infer.WalkSAT

public class WalkSAT
extends BDBStore

The WalkSAT inference algorithm.


Field Summary
 
Fields inherited from class infer.BDBStore
lowCost, rand
 
Constructor Summary
WalkSAT(MarkovLogicNetwork mln, LazyGrounding grounding)
           
 
Method Summary
 void infer(int maxFlips, int numTries)
          Runs the WalkSAT algorithm, for maxFlips flips per try, and up to numTries tries
 
Methods inherited from class infer.BDBStore
activateAtom, assignRandomTruthValues, calcCosts, close, initMRF, intToByteArray, isActive, saveLowTruth, writeBackTruthValues
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WalkSAT

public WalkSAT(MarkovLogicNetwork mln,
               LazyGrounding grounding)
Method Detail

infer

public void infer(int maxFlips,
                  int numTries)
Runs the WalkSAT algorithm, for maxFlips flips per try, and up to numTries tries

Overrides:
infer in class BDBStore