Lines Matching defs:heap_
202 bool Done() const { return error_ || heap_.empty(); }
214 push_heap(heap_.begin(), heap_.end(), *compare_);
216 heap_.pop_back();
218 if (!heap_.empty())
279 heap_.clear();
287 heap_.push_back(i);
289 make_heap(heap_.begin(), heap_.end(), *compare_);
297 pop_heap(heap_.begin(), heap_.end(), *compare_);
298 current_ = heap_.back();
317 vector<int64> heap_; // Heap containing ID of streams with unread keys
