diff --git a/src/counter.cpp b/src/counter.cpp index 53e5de6..a07567f 100644 --- a/src/counter.cpp +++ b/src/counter.cpp @@ -448,18 +448,9 @@ ApproxMC::SolCount Counter::count() ApproxMC::SolCount Counter::calc_est_count() { ApproxMC::SolCount ret_count; - if (numHashList.empty() || numCountList.empty()) { - return ret_count; - } + if (numHashList.empty() || numCountList.empty()) return ret_count; const auto minHash = findMin(numHashList); - auto cnt_it = numCountList.begin(); - for (auto hash_it = numHashList.begin() - ; hash_it != numHashList.end() && cnt_it != numCountList.end() - ; hash_it++, cnt_it++ - ) { - *cnt_it *= pow(2, (*hash_it) - minHash); - } ret_count.valid = true; ret_count.cellSolCount = findMedian(numCountList); ret_count.hashCount = minHash;