opengm::SAT< GM > Class Template Reference

2-SAT solver More...

#include <sat.hxx>

Inheritance diagram for opengm::SAT< GM >:

Collaboration diagram for opengm::SAT< GM >:

Classes
struct	Parameter
struct	RebindGm
struct	RebindGmAndAcc

Public Types
typedef opengm::Or	AccumulationType
typedef GM	GraphicalModelType
typedef visitors::VerboseVisitor< SAT< GM > >	VerboseVisitorType
typedef visitors::TimingVisitor< SAT< GM > >	TimingVisitorType
typedef visitors::EmptyVisitor< SAT< GM > >	EmptyVisitorType

Public Member Functions
	SAT (const GraphicalModelType &, const Parameter &=Parameter())
std::string	name () const
const GraphicalModelType &	graphicalModel () const
InferenceTermination	infer ()
template<class VISITOR >
InferenceTermination	infer (VISITOR &)
virtual void	reset ()
ValueType	value () const
	return the solution (value) More...

Public Attributes
	OPENGM_GM_TYPE_TYPEDEFS

Detailed Description

template<class GM>
class opengm::SAT< GM >

2-SAT solver

Definition at line 24 of file sat.hxx.

Member Typedef Documentation

AccumulationType

template<class GM >

typedef opengm::Or opengm::SAT< GM >::AccumulationType

Definition at line 26 of file sat.hxx.

EmptyVisitorType

template<class GM >

typedef visitors::EmptyVisitor<SAT<GM> > opengm::SAT< GM >::EmptyVisitorType

Definition at line 58 of file sat.hxx.

GraphicalModelType

template<class GM >

typedef GM opengm::SAT< GM >::GraphicalModelType

Definition at line 27 of file sat.hxx.

TimingVisitorType

template<class GM >

typedef visitors::TimingVisitor<SAT<GM> > opengm::SAT< GM >::TimingVisitorType

Definition at line 57 of file sat.hxx.

VerboseVisitorType

template<class GM >

typedef visitors::VerboseVisitor<SAT<GM> > opengm::SAT< GM >::VerboseVisitorType

Definition at line 56 of file sat.hxx.

Constructor & Destructor Documentation

SAT()

template<class GM >

opengm::SAT< GM >::SAT ( const GraphicalModelType &  gm, const Parameter &  para = Parameter()  )

inline

Definition at line 66 of file sat.hxx.

Here is the caller graph for this function:

Member Function Documentation

graphicalModel()

template<class GM >

const GM & opengm::SAT< GM >::graphicalModel ( ) const

inlinevirtual

Implements opengm::Inference< GM, opengm::Or >.

Definition at line 95 of file sat.hxx.

Here is the caller graph for this function:

infer() [1/2]

template<class GM >

InferenceTermination opengm::SAT< GM >::infer ( )

virtual

Implements opengm::Inference< GM, opengm::Or >.

Definition at line 102 of file sat.hxx.

Here is the caller graph for this function:

infer() [2/2]

template<class GM >

template<class VISITOR >

InferenceTermination opengm::SAT< GM >::infer

(

VISITOR &

visitor

)

Definition at line 111 of file sat.hxx.

name()

template<class GM >

std::string opengm::SAT< GM >::name ( ) const

inlinevirtual

Implements opengm::Inference< GM, opengm::Or >.

Definition at line 88 of file sat.hxx.

Here is the caller graph for this function:

reset()

template<class GM >

void opengm::SAT< GM >::reset ( )

inlinevirtual

Definition at line 82 of file sat.hxx.

Here is the caller graph for this function:

value()

template<class GM >

GM::ValueType opengm::SAT< GM >::value ( ) const

inlinevirtual

return the solution (value)

Reimplemented from opengm::Inference< GM, opengm::Or >.

Definition at line 145 of file sat.hxx.

Here is the caller graph for this function:

Member Data Documentation

OPENGM_GM_TYPE_TYPEDEFS

template<class GM >

opengm::SAT< GM >::OPENGM_GM_TYPE_TYPEDEFS

Definition at line 28 of file sat.hxx.