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