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:

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:

• src/infer/hmcsat.h

---