| getNumClauses() | LazyWalksat | |
| getNumInitAtoms() | LazyWalksat | |
| getNumInitClauses() | LazyWalksat | |
| infer(const MaxWalksatParams *const ¶ms, const int &numSolutions, const bool &includeUnsatSolutions, Array< Array< bool > * > &solutions, Array< int > &numBad, const bool &initial) | LazyWalksat | |
| LazyWalksat(LWInfo *lwInfo, int memLimit) | LazyWalksat | |
| randomizeActiveAtoms() | LazyWalksat | |
| resetSampleSat() | LazyWalksat | |
| sample(const MaxWalksatParams *const &mwsParams, const SampleSatParams &sampleSatParams, const bool &initial) | LazyWalksat | |
| ~LazyWalksat() | LazyWalksat |
1.5.1