| changeset 1241 | dadc9987c537 |
| parent 703 | 32f280a5ed7d |
| 3:bcf19ace03ff | 4:7e833c4cbc5b |
|---|---|
4 |
4 |
5 #include <memory> |
5 #include <memory> |
6 |
6 |
7 #include "extended_pair.h" |
7 #include "extended_pair.h" |
8 |
8 |
9 namespace hugo { |
9 namespace lemon { |
10 |
10 |
11 template <typename MapRegistry> class ArrayMapFactory { |
11 template <typename MapRegistry> class ArrayMapFactory { |
12 |
12 |
13 public: |
13 public: |
14 |
14 |