equal
deleted
inserted
replaced
19 |
19 |
20 #include <vector> |
20 #include <vector> |
21 #include <algorithm> |
21 #include <algorithm> |
22 |
22 |
23 #include <lemon/utility.h> |
23 #include <lemon/utility.h> |
24 #include <lemon/bits/map_iterator.h> |
24 #include <lemon/bits/map_extender.h> |
25 #include <lemon/bits/alteration_notifier.h> |
25 #include <lemon/bits/alteration_notifier.h> |
26 #include <lemon/concept_check.h> |
26 #include <lemon/concept_check.h> |
27 #include <lemon/concept/maps.h> |
27 #include <lemon/concept/maps.h> |
28 |
28 |
29 /// \ingroup graphmapfactory |
29 /// \ingroup graphmapfactory |