2-SAT solver More...
#include <sat.hxx>
Classes | |
| struct | Parameter |
Public Types | |
| typedef opengm::Or | AccumulationType |
| typedef GM | GraphicalModelType |
| typedef VerboseVisitor< SAT< GM > > | VerboseVisitorType |
| typedef TimingVisitor< SAT< GM > > | TimingVisitorType |
| typedef 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 |
Public Attributes | |
| OPENGM_GM_TYPE_TYPEDEFS | |
2-SAT solver
Definition at line 24 of file sat.hxx.
| typedef opengm::Or opengm::SAT< GM >::AccumulationType |
Reimplemented from opengm::Inference< GM, opengm::Or >.
| typedef EmptyVisitor<SAT<GM> > opengm::SAT< GM >::EmptyVisitorType |
| typedef GM opengm::SAT< GM >::GraphicalModelType |
Reimplemented from opengm::Inference< GM, opengm::Or >.
| typedef TimingVisitor<SAT<GM> > opengm::SAT< GM >::TimingVisitorType |
| typedef VerboseVisitor<SAT<GM> > opengm::SAT< GM >::VerboseVisitorType |
| opengm::SAT< GM >::SAT | ( | const GraphicalModelType & | gm, | |
| const Parameter & | para = Parameter() | |||
| ) | [inline] |
| const GM & opengm::SAT< GM >::graphicalModel | ( | ) | const [inline, virtual] |
Implements opengm::Inference< GM, opengm::Or >.
| InferenceTermination opengm::SAT< GM >::infer | ( | VISITOR & | visitor | ) | [inline] |
| InferenceTermination opengm::SAT< GM >::infer | ( | ) | [inline, virtual] |
Implements opengm::Inference< GM, opengm::Or >.
| std::string opengm::SAT< GM >::name | ( | ) | const [inline, virtual] |
Implements opengm::Inference< GM, opengm::Or >.
| void opengm::SAT< GM >::reset | ( | ) | [inline, virtual] |
| GM::ValueType opengm::SAT< GM >::value | ( | ) | const [inline, virtual] |
Reimplemented from opengm::Inference< GM, opengm::Or >.
| opengm::SAT< GM >::OPENGM_GM_TYPE_TYPEDEFS |
1.6.3
