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.