MaxWalksat Class Reference

List of all members.

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 &params, 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)

Detailed Description

Definition at line 27 of file maxwalksat.h.


The documentation for this class was generated from the following file:
Generated on Mon Jan 15 13:45:29 2007 for Alchemy by  doxygen 1.5.1