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

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

[legend]

List of all members.

Public Member Functions
String	getAlgorithmName ()
double	getResult (GroundAtom ga)
ArrayList< InferenceResult >	infer (Iterable< String > queries, int maxSteps) throws Exception
	MCSAT (MarkovRandomField mrf) throws Exception
Package Attributes
edu.tum.cs.logic.sat.weighted.MCSAT	sampler

---

Detailed Description

Definition at line 15 of file srl/mln/inference/MCSAT.java.

---

Constructor & Destructor Documentation

edu::tum::cs::srl::mln::inference::MCSAT::MCSAT

(

MarkovRandomField

mrf

)

throws Exception [inline]

Definition at line 19 of file srl/mln/inference/MCSAT.java.

---

Member Function Documentation

String edu::tum::cs::srl::mln::inference::MCSAT::getAlgorithmName

(

)

[inline]

Reimplemented from edu::tum::cs::srl::mln::inference::InferenceAlgorithm.

Definition at line 39 of file srl/mln/inference/MCSAT.java.

double edu::tum::cs::srl::mln::inference::MCSAT::getResult

(

GroundAtom

ga

)

[inline, virtual]

Implements edu::tum::cs::srl::mln::inference::InferenceAlgorithm.

Definition at line 27 of file srl/mln/inference/MCSAT.java.

ArrayList<InferenceResult> edu::tum::cs::srl::mln::inference::MCSAT::infer	(	Iterable< String >	queries,
		int	maxSteps
	)			throws Exception [inline, virtual]

Implements edu::tum::cs::srl::mln::inference::InferenceAlgorithm.

Definition at line 32 of file srl/mln/inference/MCSAT.java.

---

Member Data Documentation

edu.tum.cs.logic.sat.weighted.MCSAT edu::tum::cs::srl::mln::inference::MCSAT::sampler [package]

Definition at line 17 of file srl/mln/inference/MCSAT.java.

---

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

• srl/mln/inference/MCSAT.java