Searched refs:old_elements (Results 1 – 1 of 1) sorted by relevance
143 std::vector<MinHeapElement> old_elements; in Prune() local147 old_elements.emplace_back(element); in Prune()151 for (auto&& element : old_elements) { in Prune()