Lines Matching refs:workers
26 #include "abg-workers.h"
34 namespace workers
120 // used to wait for tasks completed when bringing the workers down.
137 std::vector<worker> workers;
170 workers.push_back(w);
188 if (workers.empty() || !t)
231 if (workers.empty())
242 // Now that the task queue is empty, drain the workers by waking them up,
246 for (std::vector<worker>::const_iterator i = workers.begin();
247 i != workers.end();
250 workers.clear();
429 } //end namespace workers