+void dbg_print_hit_rate(std::ofstream& logFile) {
+
+ logFile << "Total " << dbg_cnt0 << " Hit " << dbg_cnt1
+ << " hit rate (%) " << (dbg_cnt1*100)/(dbg_cnt0 ? dbg_cnt0 : 1)
+ << std::endl;
+}
+
+void dbg_print_mean(std::ofstream& logFile) {
+
+ logFile << "Total " << dbg_cnt0 << " Mean "
+ << (float)dbg_cnt1 / (dbg_cnt0 ? dbg_cnt0 : 1) << std::endl;
+}
+