Public Member Functions | |
| MaxWalksat (const Array< Array< int > > *const &blocks, const Array< bool > *const &blockEvidence) | |
| ~MaxWalksat () | |
| void | sample (const MaxWalksatData *const &data, const int &identifier, Array< Array< bool > * > &solutions, const MaxWalksatParams *const ¶ms, const Array< Array< int > > *const &blocks, const Array< bool > *const &blockEvidence) |
| int | infer (int argc, char *argv[], int atomCnt, const Array< Array< int > * > &clauseArray, const Array< double > &wtArray, Array< int > &trueAtomArray, int &numbad) |
Definition at line 27 of file maxwalksat.h.
1.5.1