47     data_.push_back(value);  in push()
48     upheap(data_.size() - 1);  in push()
52     data_.push_back(std::move(value));  in push()
53     upheap(data_.size() - 1);  in push()
58     return data_.front();  in top()
63     data_.front() = value;  in replace_top()
69     data_.front() = std::move(value);  in replace_top()
75     data_.front() = std::move(data_.back());  in pop()
76     data_.pop_back();  in pop()
86     data_.swap(other.data_);  in swap()
91     data_.clear();  in clear()
95   bool empty() const { return data_.empty(); }  in empty()
97   size_t size() const { return data_.size(); }  in size()
108     T v = std::move(data_[index]);  in upheap()
111       if (!cmp_(data_[parent], v)) {  in upheap()
114       data_[index] = std::move(data_[parent]);  in upheap()
117     data_[index] = std::move(v);  in upheap()
122     T v = std::move(data_[index]);  in downheap()
127       if (get_left(index) >= data_.size()) {  in downheap()
133       if (index == 0 && root_cmp_cache_ < data_.size()) {  in downheap()
135       } else if (right_child < data_.size() &&  in downheap()
136                  cmp_(data_[left_child], data_[right_child])) {  in downheap()
139       if (!cmp_(v, data_[picked_child])) {  in downheap()
142       data_[index] = std::move(data_[picked_child]);  in downheap()
157     data_[index] = std::move(v);  in downheap()
161   autovector<T> data_;  variable