SampleSat Class Reference

List of all members.

Public Member Functions

 SampleSat (const SampleSatParams &params, int numGndPreds, int maxClause, int maxLen, int maxLitOccurence, int *fixedAtoms, int **clauses, const Array< Array< int > > *const &blocks, const Array< bool > *const &blockEvidence)
 ~SampleSat ()
bool sample (bool *&assignments, int numClauses, const Array< Array< int > > *const &blocks, const Array< bool > *const &blockEvidence)

Detailed Description

Definition at line 125 of file samplesat.h.

The documentation for this class was generated from the following files:
Generated on Tue Jan 16 05:30:06 2007 for Alchemy by  doxygen 1.5.1