Public Member Functions | |
| ClauseSampler (const double &delta, const double &epsilon, const int &minSamples, const int &maxSamples) | |
| ~ClauseSampler () | |
| void | setEpsilon (const double &epsilon) |
| double | getEpsilon () const |
| void | setDelta (const double &delta) |
| double | getDelta () const |
| void | setMinSamples (const int &min) |
| int | getMinSamples () const |
| void | setMaxSamples (const int &max) |
| int | getMaxSamples () const |
| double | computeNumSamples (const int &numPreds) const |
| double | estimateNumTrueGroundings (Clause *const &clause, const Predicate *const &flippedGndPred, const Domain *const &domain, double numSamples=-1) |
Definition at line 80 of file clausesampler.h.
1.5.1