equal
deleted
inserted
replaced
1 // -*- C++ -*- // |
1 // -*- C++ -*- // |
2 |
2 |
3 #ifndef HUGO_MA_ORDER_H |
3 #ifndef LEMON_MA_ORDER_H |
4 #define HUGO_MA_ORDER_H |
4 #define LEMON_MA_ORDER_H |
5 |
5 |
6 #include <vector> |
6 #include <vector> |
7 #include <functional> |
7 #include <functional> |
8 #include <bin_heap.h> |
8 #include <bin_heap.h> |
9 |
9 |
10 namespace hugo { |
10 namespace lemon { |
11 |
11 |
12 template <typename Graph, |
12 template <typename Graph, |
13 typename Heap = BinHeap<typename Graph::Node, int, |
13 typename Heap = BinHeap<typename Graph::Node, int, |
14 typename Graph::NodeMap<int>, |
14 typename Graph::NodeMap<int>, |
15 std::greater<int> >, |
15 std::greater<int> >, |
80 } |
80 } |
81 |
81 |
82 |
82 |
83 }; |
83 }; |
84 |
84 |
85 } // namespace hugo |
85 } // namespace lemon |
86 |
86 |
87 #endif // HUGO_MA_ORDER_H |
87 #endif // LEMON_MA_ORDER_H |