3 #ifndef OSL_SEARCHTIMER_H
4 #define OSL_SEARCHTIMER_H
9 #include <boost/shared_ptr.hpp>
10 #include <boost/cstdint.hpp>
21 :
standard(MilliSeconds::Interval::infinity()),
22 max(MilliSeconds::Interval::infinity())
54 vector<boost::shared_ptr<SearchMonitor> >
monitors;
131 uint64_t next_node_count;
133 #ifdef OSL_USE_RACE_DETECTOR
138 if (next_node_count > node_count || !
hasSchedule())
145 const MilliSeconds now = MilliSeconds::now();
146 #ifdef OSL_USE_RACE_DETECTOR
152 return std::max(0, static_cast<int>(nps * left));
156 void addMonitor(
const boost::shared_ptr<SearchMonitor>&);
161 const vector<boost::shared_ptr<SearchMonitor> >&
monitors()
const