Searched refs:NumHeads (Results 1 – 1 of 1) sorted by relevance
94 unsigned NumHeads = Heads.size(); in transition() local95 for (unsigned I = 0; I < NumHeads; ++I) { in transition()109 Heads.erase(Heads.begin(), std::next(Heads.begin(), NumHeads)); in transition()