| ClauseSampler(const double &delta, const double &epsilon, const int &minSamples, const int &maxSamples) | ClauseSampler | [inline] |
| computeNumSamples(const int &numPreds) const | ClauseSampler | [inline] |
| estimateNumTrueGroundings(Clause *const &clause, const Predicate *const &flippedGndPred, const Domain *const &domain, double numSamples=-1) | ClauseSampler | |
| getDelta() const | ClauseSampler | [inline] |
| getEpsilon() const | ClauseSampler | [inline] |
| getMaxSamples() const | ClauseSampler | [inline] |
| getMinSamples() const | ClauseSampler | [inline] |
| setDelta(const double &delta) | ClauseSampler | [inline] |
| setEpsilon(const double &epsilon) | ClauseSampler | [inline] |
| setMaxSamples(const int &max) | ClauseSampler | [inline] |
| setMinSamples(const int &min) | ClauseSampler | [inline] |
| ~ClauseSampler() | ClauseSampler | [inline] |
1.5.1