29 void Initialize(
const uint64_t configurationsCount)
override;
34 uint64_t m_TotalExplored;
36 double m_TargetFraction;
37 uint_fast64_t m_MinCount;
39 double GetFailureFraction()
const;
Definition FailureFraction.h:18
FailureFraction(const double fraction, const uint64_t minCount=0)
void Initialize(const uint64_t configurationsCount) override
void Update(const KernelResult &result) override
std::string GetStatusString() const override
bool IsFulfilled() const override
Definition KernelResult.h:21
Definition StopCondition.h:19
Definition KttPlatform.h:41