Thread* this_thread() const;
int64_t nodes_searched() const;
void set_nodes_searched(int64_t n);
Thread* this_thread() const;
int64_t nodes_searched() const;
void set_nodes_searched(int64_t n);
// Position consistency check, for debugging
bool pos_is_ok(int* failedStep = NULL) const;
// Position consistency check, for debugging
bool pos_is_ok(int* failedStep = NULL) const;