Little code style tweaks
[stockfish] / src / misc.h
index 9b3f3f4088972440244d43a9c083d16c5cb37965..0e656cb2b0d08c11f99f1f89f01c0ac8fe7ae52e 100644 (file)
@@ -26,6 +26,7 @@
 //// Includes
 ////
 
+#include <fstream>
 #include <string>
 
 
@@ -37,7 +38,7 @@
 /// Version number.  If this is left empty, the current date (in the format
 /// YYMMDD) is used as a version number.
 
-const std::string EngineVersion = "1.0";
+const std::string EngineVersion = "";
 
 
 ////
@@ -60,21 +61,21 @@ extern int Bioskey();
 ////
 //// Debug
 ////
-extern long dbg_cnt0;
-extern long dbg_cnt1;
-
-inline void dbg_hit_on(bool b) { 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_cnt0++; }
-inline void dbg_after() { dbg_cnt1++; }
+extern bool dbg_show_mean;
+extern bool dbg_show_hit_rate;
 
-inline void dbg_mean_of(int v) { dbg_cnt0++; dbg_cnt1 += v; }
+extern long dbg_cnt0;
+extern long dbg_cnt1;
 
+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 bool dbg_show_mean;
-extern bool dbg_show_hit_rate;
+extern void dbg_print_hit_rate(std::ofstream& logFile);
+extern void dbg_print_mean(std::ofstream& logFile);
 
 #endif // !defined(MISC_H_INCLUDED)