|
OpenGM
2.3.x
Discrete Graphical Model Library
|
2-SAT solver More...
#include <sat.hxx>
Inheritance diagram for opengm::SAT< GM >: Collaboration diagram for opengm::SAT< GM >:Classes | |
| struct | Parameter |
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 | |
| typedef opengm::Or opengm::SAT< GM >::AccumulationType |
| typedef visitors::EmptyVisitor<SAT<GM> > opengm::SAT< GM >::EmptyVisitorType |
| typedef GM opengm::SAT< GM >::GraphicalModelType |
| typedef visitors::TimingVisitor<SAT<GM> > opengm::SAT< GM >::TimingVisitorType |
| typedef visitors::VerboseVisitor<SAT<GM> > opengm::SAT< GM >::VerboseVisitorType |
|
inline |
|
inlinevirtual |
Implements opengm::Inference< GM, opengm::Or >.
|
virtual |
Implements opengm::Inference< GM, opengm::Or >.
| InferenceTermination opengm::SAT< GM >::infer | ( | VISITOR & | visitor | ) |
|
inlinevirtual |
Implements opengm::Inference< GM, opengm::Or >.
|
inlinevirtual |
|
inlinevirtual |
return the solution (value)
Reimplemented from opengm::Inference< GM, opengm::Or >.
| opengm::SAT< GM >::OPENGM_GM_TYPE_TYPEDEFS |
1.8.9.1
