ClauseSampler Member List

This is the complete list of members for ClauseSampler, including all inherited members.

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() constClauseSampler [inline]
getEpsilon() constClauseSampler [inline]
getMaxSamples() constClauseSampler [inline]
getMinSamples() constClauseSampler [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]

Generated on Tue Jan 16 05:30:05 2007 for Alchemy by  doxygen 1.5.1