Also activate writing on log file.
Signed-off-by: Marco Costalba <mcostalba@gmail.com>
#endif
+#include <cassert>
#include <cstdio>
#include <iomanip>
#include <iostream>
//// Functions
////
+void dbg_hit_on(bool b) {
+
+ assert(!dbg_show_mean);
+ dbg_show_hit_rate = true;
+ dbg_cnt0++;
+ if (b)
+ dbg_cnt1++;
+}
+
+void dbg_hit_on_c(bool c, bool b) {
+
+ if (c)
+ dbg_hit_on(b);
+}
+
+void dbg_before() {
+
+ assert(!dbg_show_mean);
+ dbg_show_hit_rate = true;
+ dbg_cnt0++;
+}
+
+void dbg_after() {
+
+ assert(!dbg_show_mean);
+ dbg_show_hit_rate = true;
+ dbg_cnt1++;
+}
+
+void dbg_mean_of(int v) {
+
+ assert(!dbg_show_hit_rate);
+ dbg_cnt0++;
+ dbg_cnt1 += v;
+}
+
void dbg_print_hit_rate() {
std::cout << "Total " << dbg_cnt0 << " Hit " << dbg_cnt1
extern long dbg_cnt0;
extern long dbg_cnt1;
-inline void dbg_hit_on(bool b) { dbg_show_hit_rate = true; dbg_cnt0++; if (b) dbg_cnt1++; }
-inline void dbg_hit_on_c(bool c, bool b) { if (c) dbg_hit_on(b); }
-
-inline void dbg_before() { dbg_show_hit_rate = true; dbg_cnt0++; }
-inline void dbg_after() { dbg_show_hit_rate = true; dbg_cnt1++; }
-
-inline void dbg_mean_of(int v) { dbg_cnt0++; dbg_cnt1 += v; }
-
+extern void dbg_hit_on(bool b);
+extern void dbg_hit_on_c(bool c, bool b);
+extern void dbg_before();
+extern void dbg_after();
+extern void dbg_mean_of(int v);
extern void dbg_print_hit_rate();
extern void dbg_print_mean();
extern void dbg_print_hit_rate(std::ofstream& logFile);
if (UseLogFile)
{
+ if (dbg_show_mean)
+ dbg_print_mean(LogFile);
+
+ if (dbg_show_hit_rate)
+ dbg_print_hit_rate(LogFile);
+
UndoInfo u;
LogFile << "Nodes: " << nodes_searched() << std::endl
<< "Nodes/second: " << nps() << std::endl