195     : pool_(other.pool_),  in basic_executor_type()
200       if (pool_)  in basic_executor_type()
201         pool_->scheduler_.work_started();  in basic_executor_type()
207     : pool_(other.pool_),  in basic_executor_type()
212       other.pool_ = 0;  in basic_executor_type()
220       if (pool_)  in ~basic_executor_type()
221         pool_->scheduler_.work_finished();  in ~basic_executor_type()
249         pool_, allocator_, bits_ & ~blocking_mask);  in require()
268           pool_, allocator_, bits_ & ~blocking_mask);  in require()
286         pool_, allocator_, (bits_ & ~blocking_mask) | blocking_never);  in require()
302     return basic_executor_type(pool_,  in require()
319     return basic_executor_type(pool_,  in require()
338         pool_, allocator_, bits_);  in require()
356         pool_, allocator_, bits_);  in require()
374         pool_, a.value(), bits_);  in require()
391         pool_, std::allocator<void>(), bits_);  in require()
440     return *pool_;  in query()
547     return static_cast<std::size_t>(pool_->num_threads_);  in query()
564     return a.pool_ == b.pool_  in operator ==()
576     return a.pool_ != b.pool_  in operator !=()
720     : pool_(&p),  in basic_executor_type()
725       pool_->scheduler_.work_started();  in basic_executor_type()
731     : pool_(p),  in basic_executor_type()
736       if (pool_)  in basic_executor_type()
737         pool_->scheduler_.work_started();  in basic_executor_type()
759   thread_pool* pool_;  member in boost::asio::thread_pool::basic_executor_type