| 260 | }; |
| 261 | |
| 262 | inline void maxNodeHeap::decreaseKey(NodeID node, Gain gain) { |
| 263 | ASSERT_TRUE(m_element_index.find(node) != m_element_index.end()); |
| 264 | int queue_idx = m_element_index[node]; |
| 265 | int heap_idx = m_elements[queue_idx].get_index(); |
| 266 | m_elements[queue_idx].set_key(gain); |
| 267 | m_heap[heap_idx].first = gain; |
| 268 | siftDown(heap_idx); |
| 269 | } |
| 270 | |
| 271 | inline void maxNodeHeap::increaseKey(NodeID node, Gain gain) { |
| 272 | ASSERT_TRUE(m_element_index.find(node) != m_element_index.end()); |