equal
deleted
inserted
replaced
61 |
61 |
62 #include <vector> |
62 #include <vector> |
63 #include <utility> |
63 #include <utility> |
64 #include <functional> |
64 #include <functional> |
65 |
65 |
66 namespace marci { |
66 namespace hugo { |
67 |
67 |
68 template <typename Key, typename Val, typename KeyIntMap, |
68 template <typename Key, typename Val, typename KeyIntMap, |
69 typename Compare = std::less<Val> > |
69 typename Compare = std::less<Val> > |
70 class BinHeap { |
70 class BinHeap { |
71 |
71 |
225 ok: |
225 ok: |
226 move(p, hole); |
226 move(p, hole); |
227 return hole; |
227 return hole; |
228 } |
228 } |
229 |
229 |
230 } // namespace marci |
230 } // namespace hugo |
231 |
231 |
232 #endif // BIN_HEAP_HH |
232 #endif // BIN_HEAP_HH |