| 126 | } |
| 127 | |
| 128 | void Push(PriorityQueue & q, uint32_t i, FileReader const & reader) |
| 129 | { |
| 130 | T item; |
| 131 | reader.Read(static_cast<uint64_t>(i) * sizeof(T), &item, sizeof(T)); |
| 132 | q.push(std::pair<T, uint32_t>(item, i)); |
| 133 | } |
| 134 | |
| 135 | std::string const m_TmpFileName; |
| 136 | size_t const m_BufferCapacity; |