edu::tum::cs::logic::sat::weighted::MCSAT Class Reference

Inheritance diagram for edu::tum::cs::logic::sat::weighted::MCSAT:

[legend]

List of all members.

Classes
class	GroundAtomDistribution
Public Member Functions
String	getAlgorithmName ()
WeightedClausalKB	getKB ()
ParameterHandler	getParameterHandler ()
double	getResult (GroundAtom ga)
	MCSAT (WeightedClausalKB kb, WorldVariables vars, Database db) throws Exception
GroundAtomDistribution	pollResults () throws CloneNotSupportedException
GroundAtomDistribution	run (int steps) throws Exception
void	setDebugMode (boolean active)
void	setInfoInterval (int interval)
void	setP (double p)
void	setVerbose (boolean verbose)
Protected Attributes
Database	db
boolean	debug = false
GroundAtomDistribution	dist
int	infoInterval = 100
WeightedClausalKB	kb
ParameterHandler	paramHandler
Random	rand
SampleSAT	sat
WorldVariables	vars
boolean	verbose = false

---

Detailed Description

MC-SAT inference algorithm (Poon and Domingos 2006)

Author:

jain

Definition at line 25 of file logic/sat/weighted/MCSAT.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::sat::weighted::MCSAT::MCSAT	(	WeightedClausalKB	kb,
		WorldVariables	vars,
		Database	db
	)			throws Exception [inline]

Definition at line 37 of file logic/sat/weighted/MCSAT.java.

---

Member Function Documentation

String edu::tum::cs::logic::sat::weighted::MCSAT::getAlgorithmName

(

)

[inline]

Definition at line 186 of file logic/sat/weighted/MCSAT.java.

WeightedClausalKB edu::tum::cs::logic::sat::weighted::MCSAT::getKB

(

)

[inline]

Definition at line 51 of file logic/sat/weighted/MCSAT.java.

ParameterHandler edu::tum::cs::logic::sat::weighted::MCSAT::getParameterHandler

(

)

[inline]

Implements edu::tum::cs::inference::IParameterHandler.

Definition at line 182 of file logic/sat/weighted/MCSAT.java.

double edu::tum::cs::logic::sat::weighted::MCSAT::getResult

(

GroundAtom

ga

)

[inline]

Definition at line 170 of file logic/sat/weighted/MCSAT.java.

GroundAtomDistribution edu::tum::cs::logic::sat::weighted::MCSAT::pollResults

(

)

throws CloneNotSupportedException [inline]

Definition at line 174 of file logic/sat/weighted/MCSAT.java.

GroundAtomDistribution edu::tum::cs::logic::sat::weighted::MCSAT::run

(

int

steps

)

throws Exception [inline]

Definition at line 67 of file logic/sat/weighted/MCSAT.java.

void edu::tum::cs::logic::sat::weighted::MCSAT::setDebugMode

(

boolean

active

)

[inline]

Definition at line 59 of file logic/sat/weighted/MCSAT.java.

void edu::tum::cs::logic::sat::weighted::MCSAT::setInfoInterval

(

int

interval

)

[inline]

Definition at line 63 of file logic/sat/weighted/MCSAT.java.

void edu::tum::cs::logic::sat::weighted::MCSAT::setP

(

double

p

)

[inline]

Definition at line 127 of file logic/sat/weighted/MCSAT.java.

void edu::tum::cs::logic::sat::weighted::MCSAT::setVerbose

(

boolean

verbose

)

[inline]

Definition at line 55 of file logic/sat/weighted/MCSAT.java.

---

Member Data Documentation

Database edu::tum::cs::logic::sat::weighted::MCSAT::db [protected]

Definition at line 29 of file logic/sat/weighted/MCSAT.java.

boolean edu::tum::cs::logic::sat::weighted::MCSAT::debug = false [protected]

Definition at line 32 of file logic/sat/weighted/MCSAT.java.

GroundAtomDistribution edu::tum::cs::logic::sat::weighted::MCSAT::dist [protected]

Definition at line 31 of file logic/sat/weighted/MCSAT.java.

int edu::tum::cs::logic::sat::weighted::MCSAT::infoInterval = 100 [protected]

Definition at line 33 of file logic/sat/weighted/MCSAT.java.

WeightedClausalKB edu::tum::cs::logic::sat::weighted::MCSAT::kb [protected]

Definition at line 27 of file logic/sat/weighted/MCSAT.java.

ParameterHandler edu::tum::cs::logic::sat::weighted::MCSAT::paramHandler [protected]

Definition at line 34 of file logic/sat/weighted/MCSAT.java.

Random edu::tum::cs::logic::sat::weighted::MCSAT::rand [protected]

Definition at line 30 of file logic/sat/weighted/MCSAT.java.

SampleSAT edu::tum::cs::logic::sat::weighted::MCSAT::sat [protected]

Definition at line 35 of file logic/sat/weighted/MCSAT.java.

WorldVariables edu::tum::cs::logic::sat::weighted::MCSAT::vars [protected]

Definition at line 28 of file logic/sat/weighted/MCSAT.java.

boolean edu::tum::cs::logic::sat::weighted::MCSAT::verbose = false [protected]

Definition at line 32 of file logic/sat/weighted/MCSAT.java.

---

The documentation for this class was generated from the following file:

• logic/sat/weighted/MCSAT.java