infer
Class SweepSAT

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

public class SweepSAT
extends BDBStore

The SweepSAT inference algorithm.


Field Summary
 
Fields inherited from class infer.BDBStore
lowCost, rand
 
Constructor Summary
SweepSAT(MarkovLogicNetwork mln, LazyGrounding grounding)
           
 
Method Summary
 void infer(int maxSteps, int numTries)
          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, 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

SweepSAT

public SweepSAT(MarkovLogicNetwork mln,
                LazyGrounding grounding)
Method Detail

infer

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

Overrides:
infer in class BDBStore