Retire set_timer()

Also assure in Thread::timer_loop() that when
timer interval is 0 (timer is disabled) we
never call check_time()

No functional change.
This commit is contained in:
Marco Costalba
2013-01-13 18:22:33 +01:00
parent 869c924410
commit dda7de17e7
3 changed files with 10 additions and 20 deletions

View File

@@ -140,10 +140,10 @@ public:
int min_split_depth() const { return minimumSplitDepth; }
size_t size() const { return threads.size(); }
Thread* main_thread() { return threads[0]; }
Thread* timer_thread() { return timer; }
void read_uci_options();
bool available_slave_exists(Thread* master) const;
void set_timer(int msec);
void wait_for_search_finished();
void start_searching(const Position&, const Search::LimitsType&,
const std::vector<Move>&, Search::StateStackPtr&);