#include "types.h"
const std::string engine_info(bool to_uci = false);
+void timed_wait(WaitCondition&, Lock&, int);
void prefetch(char* addr);
void start_logger(bool b);
void dbg_hit_on(bool b);
-void dbg_hit_on_c(bool c, bool b);
+void dbg_hit_on(bool c, bool b);
void dbg_mean_of(int v);
void dbg_print();
namespace Time {
typedef int64_t point;
- point now();
+ inline point now() { return system_time_to_msec(); }
}