LazyWalksat Member List

This is the complete list of members for LazyWalksat, including all inherited members.

getNumClauses()LazyWalksat
getNumInitAtoms()LazyWalksat
getNumInitClauses()LazyWalksat
infer(const MaxWalksatParams *const &params, 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

Generated on Tue Jan 16 05:30:06 2007 for Alchemy by  doxygen 1.5.1