infer(int argc, char *argv[], int atomCnt, const Array< Array< int > * > &clauseArray, const Array< double > &wtArray, Array< int > &trueAtomArray, int &numbad) | MaxWalksat | [inline] |
MaxWalksat(const Array< Array< int > > *const &blocks, const Array< bool > *const &blockEvidence) | MaxWalksat | [inline] |
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) | MaxWalksat | [inline] |
~MaxWalksat() | MaxWalksat | [inline] |