HMCSAT Class Reference

HMC-SAT is an MCMC inference algorithm designed to deal efficiently with probabilistic and deterministic dependencies (See Poon and Domingos, 2006). More...

#include <hmcsat.h>

Inheritance diagram for HMCSAT:

MCMC Inference List of all members.

Public Member Functions

 HMCSAT (HVariableState *state, long int seed, const bool &trackClauseTrueCnts, MCSatParams *mcsatParams)
 Constructor: Constructs unit propagation and SampleSat.
 ~HMCSAT ()
 Destructor: Instances of unit propagation and MaxWalksat are deleted.
void initNumTrueTotal ()
void init ()
 Initializes MC-SAT with MaxWalksat on hard clauses.
void printContSamples ()
void infer ()
 Performs MC-SAT inference.
void SetContSampleFile (const char *contsamplelog)
void SetPrintVarsPerSample (bool pps)

Public Attributes

bool bMaxWalkSat_

Detailed Description

HMC-SAT is an MCMC inference algorithm designed to deal efficiently with probabilistic and deterministic dependencies (See Poon and Domingos, 2006).

It wraps a procedure around SampleSat, thus enabling it to sample_ nearly uniform.

Definition at line 83 of file hmcsat.h.


The documentation for this class was generated from the following file:
Generated on Sun Jun 7 11:55:25 2009 for Alchemy by  doxygen 1.5.1