div>
<div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160; </div>
<div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;} <span class="comment">// namespace gts_examples</span></div>
<div class="ttc" id="aclassgts_1_1_micro_scheduler_html"><div class="ttname"><a href="classgts_1_1_micro_scheduler.html">gts::MicroScheduler</a></div><div class="ttdoc">A work-stealing task scheduler. The scheduler is executed by the WorkerPool it is initialized with.</div><div c