infer
Class BDBWalkSAT

java.lang.Object
  extended by infer.BDBStore
      extended by infer.BDBWalkSAT
Direct Known Subclasses:
BDBMCSAT

public class BDBWalkSAT
extends BDBStore

The WalkSAT inference algorithm.


Field Summary
protected  boolean sampleSatMode
           
 
Fields inherited from class infer.BDBStore
inferOps, lowCost, rand
 
Constructor Summary
BDBWalkSAT(Grounding grounding)
           
 
Method Summary
 void infer(int nTries, int nSteps)
          Runs the WalkSAT algorithm, for maxFlips flips per try, and up to numTries tries
protected  boolean walkSatBDB(int numFlips)
           
 
Methods inherited from class infer.BDBStore
activateAtom, assignRandomTruthValues, calcCosts, close, dumpAtomProb, fixAtom, flushTruthValues, initMRF, intToByteArray, isActive, resetDeadClauses, resetFixedAtoms, restoreLowTruth, retainOnlyHardClauses, retainSomeGoodClauses, saveLowTruth, tallyAtomTrueCount
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

sampleSatMode

protected boolean sampleSatMode
Constructor Detail

BDBWalkSAT

public BDBWalkSAT(Grounding grounding)
Method Detail

infer

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

Overrides:
infer in class BDBStore

walkSatBDB

protected boolean walkSatBDB(int numFlips)