ClauseSampler Class Reference

List of all members.

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)

---

Detailed Description

Definition at line 86 of file clausesampler.h.

---

The documentation for this class was generated from the following files:

• src/logic/clausesampler.h
• src/logic/clausesampler.cpp

---