infer
Class BDBMCSAT

java.lang.Object
  extended by infer.BDBStore
      extended by infer.BDBWalkSAT
          extended by infer.BDBMCSAT

public class BDBMCSAT
extends BDBWalkSAT


Field Summary
 
Fields inherited from class infer.BDBWalkSAT
sampleSatMode
 
Fields inherited from class infer.BDBStore
inferOps, lowCost, rand
 
Constructor Summary
BDBMCSAT(Grounding grounding)
           
 
Method Summary
static void main(java.lang.String[] args)
           
protected  void mcsat(int numSamples)
           
 
Methods inherited from class infer.BDBWalkSAT
infer, walkSatBDB
 
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

BDBMCSAT

public BDBMCSAT(Grounding grounding)
Method Detail

main

public static void main(java.lang.String[] args)

mcsat

protected void mcsat(int numSamples)