hreads that a MicroScheduler can be run on.">WorkerPool</a> it is initialized with </td></tr>
<tr id="row_48_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structgts_1_1analysis_1_1_micro_scheduler_counters.html" target="_self">gts::analysis::MicroSchedulerCounters</a></td><td class="desc"></td></tr>
<tr id="row_49_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</