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