equal
deleted
inserted
replaced
59 |
59 |
60 |
60 |
61 #ifndef BIN_HEAP_HH |
61 #ifndef BIN_HEAP_HH |
62 #define BIN_HEAP_HH |
62 #define BIN_HEAP_HH |
63 |
63 |
|
64 ///ingroup auxdat |
64 ///\file |
65 ///\file |
65 ///\brief Binary Heap implementation. |
66 ///\brief Binary Heap implementation. |
66 |
67 |
67 #include <vector> |
68 #include <vector> |
68 #include <utility> |
69 #include <utility> |
69 #include <functional> |
70 #include <functional> |
70 |
71 |
71 namespace hugo { |
72 namespace hugo { |
72 |
73 |
73 /// A Binary Heap implementation. |
74 /// \addtogroup auxdat |
|
75 /// @{ |
|
76 |
|
77 /// A Binary Heap implementation. |
74 template <typename Item, typename Prio, typename ItemIntMap, |
78 template <typename Item, typename Prio, typename ItemIntMap, |
75 typename Compare = std::less<Prio> > |
79 typename Compare = std::less<Prio> > |
76 class BinHeap { |
80 class BinHeap { |
77 |
81 |
78 public: |
82 public: |
233 ok: |
237 ok: |
234 move(p, hole); |
238 move(p, hole); |
235 return hole; |
239 return hole; |
236 } |
240 } |
237 |
241 |
|
242 ///@} |
|
243 |
238 } // namespace hugo |
244 } // namespace hugo |
239 |
245 |
240 #endif // BIN_HEAP_HH |
246 #endif // BIN_HEAP_HH |