edu::tum::cs::srl::bayesnets::inference::MCSAT Class Reference

Inheritance diagram for edu::tum::cs::srl::bayesnets::inference::MCSAT:

Public Member Functions
SampledDistribution	_infer () throws Exception
	MCSAT (GroundBLN gbln) throws Exception
SampledDistribution	pollResults () throws Exception
Protected Member Functions
SampledDistribution	getSampledDistribution (GroundAtomDistribution gad) throws Exception
void	walkCPT4ClauseCollection (CPF cpf, BeliefNode[] domProd, int[] domainIndices, int i) throws Exception
Protected Attributes
GroundBLN	gbln
Vector< Disjunction >	hardConstraintsInCPTs = new Vector<Disjunction>()
WeightedClausalKB	kb
double	maxWeight = 0
edu.tum.cs.logic.sat.weighted.MCSAT	sampler

Detailed Description

MC-SAT inference for Bayesian logic networks

Author:: jain

Definition at line 29 of file srl/bayesnets/inference/MCSAT.java.

Constructor & Destructor Documentation

edu::tum::cs::srl::bayesnets::inference::MCSAT::MCSAT ( GroundBLN gbln ) throws Exception [inline]

Definition at line 40 of file srl/bayesnets/inference/MCSAT.java.

Member Function Documentation

SampledDistribution edu::tum::cs::srl::bayesnets::inference::MCSAT::_infer ( ) throws Exception [inline, virtual]

Implements edu::tum::cs::bayesnets::inference::Sampler.

Definition at line 94 of file srl/bayesnets/inference/MCSAT.java.

SampledDistribution edu::tum::cs::srl::bayesnets::inference::MCSAT::getSampledDistribution ( GroundAtomDistribution gad ) throws Exception [inline, protected]

Definition at line 102 of file srl/bayesnets/inference/MCSAT.java.

SampledDistribution edu::tum::cs::srl::bayesnets::inference::MCSAT::pollResults ( ) throws Exception [inline]

Implements edu::tum::cs::bayesnets::inference::ITimeLimitedInference.

Definition at line 125 of file srl/bayesnets/inference/MCSAT.java.

void edu::tum::cs::srl::bayesnets::inference::MCSAT::walkCPT4ClauseCollection	(	CPF	cpf,
		BeliefNode[]	domProd,
		int[]	domainIndices,
		int	i
	)			throws Exception `[inline, protected]`