Searched refs:tmp_queue_ (Results 1 – 2 of 2) sorted by relevance
953 DCHECK(tmp_queue_.empty()); in InitializeConflict()1626 DCHECK(tmp_queue_.empty()); in MergeReasonInto()1654 for (const int trail_index : tmp_queue_) { in MergeReasonIntoInternal()1664 std::make_heap(tmp_queue_.begin(), tmp_queue_.end()); in MergeReasonIntoInternal()1670 while (!tmp_queue_.empty()) { in MergeReasonIntoInternal()1671 const int trail_index = tmp_queue_.front(); in MergeReasonIntoInternal()1673 std::pop_heap(tmp_queue_.begin(), tmp_queue_.end()); in MergeReasonIntoInternal()1674 tmp_queue_.pop_back(); in MergeReasonIntoInternal()1746 std::push_heap(tmp_queue_.begin(), tmp_queue_.end()); in MergeReasonIntoInternal()1772 DCHECK(tmp_queue_.empty()); in Reason()[all …]
1113 mutable std::vector<int> tmp_queue_; variable