infer
Class BDBSweepSAT

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

public class BDBSweepSAT
extends BDBStore

The SweepSAT inference algorithm.


Field Summary
 
Fields inherited from class infer.BDBStore
inferOps, lowCost, rand
 
Constructor Summary
BDBSweepSAT(Grounding grounding)
           
 
Method Summary
 void infer(int nTries, int nSteps)
          Runs the SweepSAT algorithm, for up to maxSteps steps in total, and up to numTries restarts
 
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
 

Constructor Detail

BDBSweepSAT

public BDBSweepSAT(Grounding grounding)
Method Detail

infer

public void infer(int nTries,
                  int nSteps)
Runs the SweepSAT algorithm, for up to maxSteps steps in total, and up to numTries restarts

Overrides:
infer in class BDBStore