Swaps the contents of two priority queues.
| 366 | |
| 367 | /// Swaps the contents of two priority queues. |
| 368 | void swap(Priority_queue &other) { |
| 369 | std::swap(static_cast<Base &>(*this), static_cast<Base &>(other)); |
| 370 | m_container.swap(other.m_container); |
| 371 | } |
| 372 | |
| 373 | /// Returns true if the priority queue has the heap property. |
| 374 | bool is_valid() const { |