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

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

Public Member Functions
String	getAlgorithmName ()
double	getResult (GroundAtom ga)
PossibleWorld	getSolution ()
ArrayList< InferenceResult >	infer (Iterable< String > queries, int maxSteps) throws Exception
	MaxWalkSAT (MarkovRandomField mrf, Class<?extends edu.tum.cs.logic.sat.weighted.MaxWalkSAT > mwsClass) throws Exception
	MaxWalkSAT (MarkovRandomField mrf) throws Exception
void	setP (double p)
Protected Attributes
edu.tum.cs.logic.sat.weighted.MaxWalkSAT	sat

Detailed Description

edu::tum::cs::srl::mln::inference::MaxWalkSAT::MaxWalkSAT ( MarkovRandomField mrf ) throws Exception [inline]

edu::tum::cs::srl::mln::inference::MaxWalkSAT::MaxWalkSAT	(	MarkovRandomField	mrf,
		Class<?extends edu.tum.cs.logic.sat.weighted.MaxWalkSAT >	mwsClass
	)			throws Exception `[inline]`

String edu::tum::cs::srl::mln::inference::MaxWalkSAT::getAlgorithmName ( ) [inline]

double edu::tum::cs::srl::mln::inference::MaxWalkSAT::getResult ( GroundAtom ga ) [inline, virtual]

PossibleWorld edu::tum::cs::srl::mln::inference::MaxWalkSAT::getSolution ( ) [inline, virtual]

gets the most likely state found by the algorithm

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

void edu::tum::cs::srl::mln::inference::MaxWalkSAT::setP ( double p ) [inline]

sets the probability of a greedy move

Parameters:

p

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