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

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

[legend]

List of all members.

Classes
class	SampleSATPriors
Public Member Functions
	SATIS (GroundBLN bln) throws Exception
void	setUnitPropagation (boolean enabled)
Protected Member Functions
ClausalKB	getClausalKB () throws Exception
Sampler	getSampler () throws Exception
void	initSATSampler () throws Exception
Package Attributes
HashSet< BeliefNode >	determinedVars
GroundBLN	gbln
SampleSAT	ss
boolean	unitPropagation = false

---

Detailed Description

SAT-IS: satisfiability-based importance sampling for inference in mixed networks with probabilistic and deterministic constraints

Author:

jain

Definition at line 26 of file SATIS.java.

---

Constructor & Destructor Documentation

edu::tum::cs::srl::bayesnets::inference::SATIS::SATIS

(

GroundBLN

bln

)

throws Exception [inline]

Definition at line 39 of file SATIS.java.

---

Member Function Documentation

ClausalKB edu::tum::cs::srl::bayesnets::inference::SATIS::getClausalKB

(

)

throws Exception [inline, protected]

Reimplemented in edu::tum::cs::srl::bayesnets::inference::SATISEx.

Definition at line 75 of file SATIS.java.

Sampler edu::tum::cs::srl::bayesnets::inference::SATIS::getSampler

(

)

throws Exception [inline, protected]

Reimplemented from edu::tum::cs::srl::bayesnets::inference::BNSampler.

Reimplemented in edu::tum::cs::srl::bayesnets::inference::SATISExGibbs.

Definition at line 80 of file SATIS.java.

void edu::tum::cs::srl::bayesnets::inference::SATIS::initSATSampler

(

)

throws Exception [inline, protected]

Definition at line 55 of file SATIS.java.

void edu::tum::cs::srl::bayesnets::inference::SATIS::setUnitPropagation

(

boolean

enabled

)

[inline]

Definition at line 51 of file SATIS.java.

---

Member Data Documentation

HashSet<BeliefNode> edu::tum::cs::srl::bayesnets::inference::SATIS::determinedVars [package]

the set of nodes whose values are determined by the SAT sampler (because they are part of a hard logical constraint)

Definition at line 36 of file SATIS.java.

GroundBLN edu::tum::cs::srl::bayesnets::inference::SATIS::gbln [package]

Definition at line 28 of file SATIS.java.

SampleSAT edu::tum::cs::srl::bayesnets::inference::SATIS::ss [package]

the SAT sampler that is used to sample the sub-state that is determined by the hard logical constraints

Definition at line 32 of file SATIS.java.

boolean edu::tum::cs::srl::bayesnets::inference::SATIS::unitPropagation = false [package]

Definition at line 37 of file SATIS.java.

---

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

• SATIS.java