| ... | ... |
@@ -78,14 +78,15 @@ |
| 78 | 78 |
return NullMap<K, V>(); |
| 79 | 79 |
} |
| 80 | 80 |
|
| 81 | 81 |
|
| 82 | 82 |
/// Constant map. |
| 83 | 83 |
|
| 84 |
/// This is a readable map which assigns a specified value to each key. |
|
| 85 |
/// In other aspects it is equivalent to the \c NullMap. |
|
| 84 |
/// This is a \ref concepts::ReadMap "readable" map which assigns a |
|
| 85 |
/// specified value to each key. |
|
| 86 |
/// In other aspects it is equivalent to \c NullMap. |
|
| 86 | 87 |
template<typename K, typename T> |
| 87 | 88 |
class ConstMap : public MapBase<K, T> {
|
| 88 | 89 |
private: |
| 89 | 90 |
T v; |
| 90 | 91 |
public: |
| 91 | 92 |
|
| ... | ... |
@@ -130,14 +131,15 @@ |
| 130 | 131 |
|
| 131 | 132 |
template<typename T, T v> |
| 132 | 133 |
struct Const { };
|
| 133 | 134 |
|
| 134 | 135 |
/// Constant map with inlined constant value. |
| 135 | 136 |
|
| 136 |
/// This is a readable map which assigns a specified value to each key. |
|
| 137 |
/// In other aspects it is equivalent to the \c NullMap. |
|
| 137 |
/// This is a \ref concepts::ReadMap "readable" map which assigns a |
|
| 138 |
/// specified value to each key. |
|
| 139 |
/// In other aspects it is equivalent to \c NullMap. |
|
| 138 | 140 |
template<typename K, typename V, V v> |
| 139 | 141 |
class ConstMap<K, Const<V, v> > : public MapBase<K, V> {
|
| 140 | 142 |
public: |
| 141 | 143 |
typedef MapBase<K, V> Parent; |
| 142 | 144 |
typedef typename Parent::Key Key; |
| 143 | 145 |
typedef typename Parent::Value Value; |
| ... | ... |
@@ -146,25 +148,26 @@ |
| 146 | 148 |
///\e |
| 147 | 149 |
V operator[](const K&) const { return v; }
|
| 148 | 150 |
///\e |
| 149 | 151 |
void set(const K&, const V&) { }
|
| 150 | 152 |
}; |
| 151 | 153 |
|
| 152 |
///Returns a \c ConstMap class |
|
| 154 |
///Returns a \c ConstMap class with inlined value |
|
| 153 | 155 |
|
| 154 | 156 |
///This function just returns a \c ConstMap class with inlined value. |
| 155 | 157 |
///\relates ConstMap |
| 156 | 158 |
template<typename K, typename V, V v> |
| 157 | 159 |
inline ConstMap<K, Const<V, v> > constMap() {
|
| 158 | 160 |
return ConstMap<K, Const<V, v> >(); |
| 159 | 161 |
} |
| 160 | 162 |
|
| 161 | 163 |
///Map based on \c std::map |
| 162 | 164 |
|
| 163 | 165 |
///This is essentially a wrapper for \c std::map with addition that |
| 164 | 166 |
///you can specify a default value different from \c Value(). |
| 167 |
///It meets the \ref concepts::ReferenceMap "ReferenceMap" concept. |
|
| 165 | 168 |
template <typename K, typename T, typename Compare = std::less<K> > |
| 166 | 169 |
class StdMap : public MapBase<K, T> {
|
| 167 | 170 |
template <typename K1, typename T1, typename C1> |
| 168 | 171 |
friend class StdMap; |
| 169 | 172 |
public: |
| 170 | 173 |
|
| ... | ... |
@@ -187,19 +190,19 @@ |
| 187 | 190 |
Map _map; |
| 188 | 191 |
|
| 189 | 192 |
public: |
| 190 | 193 |
|
| 191 | 194 |
/// Constructor with specified default value |
| 192 | 195 |
StdMap(const T& value = T()) : _value(value) {}
|
| 193 |
/// \brief Constructs the map from an appropriate std::map, and explicitly |
|
| 194 |
/// specifies a default value. |
|
| 196 |
/// \brief Constructs the map from an appropriate \c std::map, and |
|
| 197 |
/// explicitly specifies a default value. |
|
| 195 | 198 |
template <typename T1, typename Comp1> |
| 196 | 199 |
StdMap(const std::map<Key, T1, Comp1> &map, const T& value = T()) |
| 197 | 200 |
: _map(map.begin(), map.end()), _value(value) {}
|
| 198 | 201 |
|
| 199 |
/// \brief Constructs a map from an other StdMap. |
|
| 202 |
/// \brief Constructs a map from an other \ref StdMap. |
|
| 200 | 203 |
template<typename T1, typename Comp1> |
| 201 | 204 |
StdMap(const StdMap<Key, T1, Comp1> &c) |
| 202 | 205 |
: _map(c._map.begin(), c._map.end()), _value(c._value) {}
|
| 203 | 206 |
|
| 204 | 207 |
private: |
| 205 | 208 |
|
| ... | ... |
@@ -262,16 +265,17 @@ |
| 262 | 265 |
const V& value = V() ) {
|
| 263 | 266 |
return StdMap<K, V, Compare>(map, value); |
| 264 | 267 |
} |
| 265 | 268 |
|
| 266 | 269 |
/// \brief Map for storing values for keys from the range <tt>[0..size-1]</tt> |
| 267 | 270 |
/// |
| 268 |
/// |
|
| 271 |
/// This map has the <tt>[0..size-1]</tt> keyset and the values |
|
| 269 | 272 |
/// are stored in a \c std::vector<T> container. It can be used with |
| 270 | 273 |
/// some data structures, for example \c UnionFind, \c BinHeap, when |
| 271 | 274 |
/// the used items are small integer numbers. |
| 275 |
/// This map meets the \ref concepts::ReferenceMap "ReferenceMap" concept. |
|
| 272 | 276 |
/// |
| 273 | 277 |
/// \todo Revise its name |
| 274 | 278 |
template <typename T> |
| 275 | 279 |
class IntegerMap : public MapBase<int, T> {
|
| 276 | 280 |
|
| 277 | 281 |
template <typename T1> |
| ... | ... |
@@ -298,18 +302,18 @@ |
| 298 | 302 |
|
| 299 | 303 |
public: |
| 300 | 304 |
|
| 301 | 305 |
/// Constructor with specified default value |
| 302 | 306 |
IntegerMap(int size = 0, const T& value = T()) : _vector(size, value) {}
|
| 303 | 307 |
|
| 304 |
/// \brief Constructs the map from an appropriate std::vector. |
|
| 308 |
/// \brief Constructs the map from an appropriate \c std::vector. |
|
| 305 | 309 |
template <typename T1> |
| 306 | 310 |
IntegerMap(const std::vector<T1>& vector) |
| 307 | 311 |
: _vector(vector.begin(), vector.end()) {}
|
| 308 | 312 |
|
| 309 |
/// \brief Constructs a map from an other IntegerMap. |
|
| 313 |
/// \brief Constructs a map from an other \ref IntegerMap. |
|
| 310 | 314 |
template <typename T1> |
| 311 | 315 |
IntegerMap(const IntegerMap<T1> &c) |
| 312 | 316 |
: _vector(c._vector.begin(), c._vector.end()) {}
|
| 313 | 317 |
|
| 314 | 318 |
/// \brief Resize the container |
| 315 | 319 |
void resize(int size, const T& value = T()) {
|
| ... | ... |
@@ -397,15 +401,13 @@ |
| 397 | 401 |
///Constructor |
| 398 | 402 |
|
| 399 | 403 |
///Constructor. |
| 400 | 404 |
///\param _m is the underlying map. |
| 401 | 405 |
ConvertMap(const M &_m) : m(_m) {};
|
| 402 | 406 |
|
| 403 |
/// \brief The subscript operator. |
|
| 404 |
/// |
|
| 405 |
/// |
|
| 407 |
///\e |
|
| 406 | 408 |
Value operator[](const Key& k) const {return m[k];}
|
| 407 | 409 |
}; |
| 408 | 410 |
|
| 409 | 411 |
///Returns a \c ConvertMap class |
| 410 | 412 |
|
| 411 | 413 |
///This function just returns a \c ConvertMap class. |
| ... | ... |
@@ -487,13 +489,13 @@ |
| 487 | 489 |
|
| 488 | 490 |
///Sum of two maps |
| 489 | 491 |
|
| 490 | 492 |
///This \ref concepts::ReadMap "read only map" returns the sum of the two |
| 491 | 493 |
///given maps. |
| 492 | 494 |
///Its \c Key and \c Value are inherited from \c M1. |
| 493 |
///The \c Key and \c Value of M2 must be convertible to those of \c M1. |
|
| 495 |
///The \c Key and \c Value of \c M2 must be convertible to those of \c M1. |
|
| 494 | 496 |
template<typename M1, typename M2> |
| 495 | 497 |
class AddMap : public MapBase<typename M1::Key, typename M1::Value> {
|
| 496 | 498 |
const M1& m1; |
| 497 | 499 |
const M2& m2; |
| 498 | 500 |
|
| 499 | 501 |
public: |
| ... | ... |
@@ -507,13 +509,13 @@ |
| 507 | 509 |
Value operator[](Key k) const {return m1[k]+m2[k];}
|
| 508 | 510 |
}; |
| 509 | 511 |
|
| 510 | 512 |
///Returns an \c AddMap class |
| 511 | 513 |
|
| 512 | 514 |
///This function just returns an \c AddMap class. |
| 513 |
///\todo |
|
| 515 |
///\todo Extend the documentation: how to call these type of functions? |
|
| 514 | 516 |
/// |
| 515 | 517 |
///\relates AddMap |
| 516 | 518 |
template<typename M1, typename M2> |
| 517 | 519 |
inline AddMap<M1, M2> addMap(const M1 &m1,const M2 &m2) {
|
| 518 | 520 |
return AddMap<M1, M2>(m1,m2); |
| 519 | 521 |
} |
| ... | ... |
@@ -1004,13 +1006,14 @@ |
| 1004 | 1006 |
///This \ref concepts::ReadMap "read only map" returns the value |
| 1005 | 1007 |
///of a given functor. |
| 1006 | 1008 |
/// |
| 1007 | 1009 |
///Template parameters \c K and \c V will become its |
| 1008 | 1010 |
///\c Key and \c Value. |
| 1009 | 1011 |
///In most cases they have to be given explicitly because a |
| 1010 |
///functor typically does not provide |
|
| 1012 |
///functor typically does not provide \c argument_type and |
|
| 1013 |
///\c result_type typedefs. |
|
| 1011 | 1014 |
/// |
| 1012 | 1015 |
///Parameter \c F is the type of the used functor. |
| 1013 | 1016 |
/// |
| 1014 | 1017 |
///\sa MapFunctor |
| 1015 | 1018 |
template<typename F, |
| 1016 | 1019 |
typename K = typename F::argument_type, |
| ... | ... |
@@ -1029,14 +1032,15 @@ |
| 1029 | 1032 |
}; |
| 1030 | 1033 |
|
| 1031 | 1034 |
///Returns a \c FunctorMap class |
| 1032 | 1035 |
|
| 1033 | 1036 |
///This function just returns a \c FunctorMap class. |
| 1034 | 1037 |
/// |
| 1035 |
///It is specialized for adaptable function classes and |
|
| 1036 |
///C++ functions. |
|
| 1038 |
///This function is specialized for adaptable binary function |
|
| 1039 |
///classes and C++ functions. |
|
| 1040 |
/// |
|
| 1037 | 1041 |
///\relates FunctorMap |
| 1038 | 1042 |
template<typename K, typename V, typename F> inline |
| 1039 | 1043 |
FunctorMap<F, K, V> functorMap(const F &f) {
|
| 1040 | 1044 |
return FunctorMap<F, K, V>(f); |
| 1041 | 1045 |
} |
| 1042 | 1046 |
|
| ... | ... |
@@ -1053,13 +1057,13 @@ |
| 1053 | 1057 |
} |
| 1054 | 1058 |
|
| 1055 | 1059 |
|
| 1056 | 1060 |
///Converts a map to an STL style (unary) functor |
| 1057 | 1061 |
|
| 1058 | 1062 |
///This class Converts a map to an STL style (unary) functor. |
| 1059 |
/// |
|
| 1063 |
///That is it provides an <tt>operator()</tt> to read its values. |
|
| 1060 | 1064 |
/// |
| 1061 | 1065 |
///For the sake of convenience it also works as |
| 1062 | 1066 |
///a ususal \ref concepts::ReadMap "readable map", |
| 1063 | 1067 |
///i.e. <tt>operator[]</tt> and the \c Key and \c Value typedefs also exist. |
| 1064 | 1068 |
/// |
| 1065 | 1069 |
///\sa FunctorMap |
| ... | ... |
@@ -1088,20 +1092,20 @@ |
| 1088 | 1092 |
///\relates MapFunctor |
| 1089 | 1093 |
template<typename M> |
| 1090 | 1094 |
inline MapFunctor<M> mapFunctor(const M &m) {
|
| 1091 | 1095 |
return MapFunctor<M>(m); |
| 1092 | 1096 |
} |
| 1093 | 1097 |
|
| 1094 |
/// |
|
| 1098 |
///Just readable version of \ref ForkWriteMap |
|
| 1095 | 1099 |
|
| 1096 | 1100 |
///This map has two \ref concepts::ReadMap "readable map" |
| 1097 | 1101 |
///parameters and each read request will be passed just to the |
| 1098 |
///first map. This class is the just readable map type of |
|
| 1102 |
///first map. This class is the just readable map type of \c ForkWriteMap. |
|
| 1099 | 1103 |
/// |
| 1100 | 1104 |
///The \c Key and \c Value are inherited from \c M1. |
| 1101 |
///The \c Key and \c Value of M2 must be convertible from those of \c M1. |
|
| 1105 |
///The \c Key and \c Value of \c M2 must be convertible from those of \c M1. |
|
| 1102 | 1106 |
/// |
| 1103 | 1107 |
///\sa ForkWriteMap |
| 1104 | 1108 |
/// |
| 1105 | 1109 |
/// \todo Why is it needed? |
| 1106 | 1110 |
template<typename M1, typename M2> |
| 1107 | 1111 |
class ForkMap : public MapBase<typename M1::Key, typename M1::Value> {
|
| ... | ... |
@@ -1125,13 +1129,13 @@ |
| 1125 | 1129 |
///parameters and each write request will be passed to both of them. |
| 1126 | 1130 |
///If \c M1 is also \ref concepts::ReadMap "readable", |
| 1127 | 1131 |
///then the read operations will return the |
| 1128 | 1132 |
///corresponding values of \c M1. |
| 1129 | 1133 |
/// |
| 1130 | 1134 |
///The \c Key and \c Value are inherited from \c M1. |
| 1131 |
///The \c Key and \c Value of M2 must be convertible from those of \c M1. |
|
| 1135 |
///The \c Key and \c Value of \c M2 must be convertible from those of \c M1. |
|
| 1132 | 1136 |
/// |
| 1133 | 1137 |
///\sa ForkMap |
| 1134 | 1138 |
template<typename M1, typename M2> |
| 1135 | 1139 |
class ForkWriteMap : public MapBase<typename M1::Key, typename M1::Value> {
|
| 1136 | 1140 |
M1& m1; |
| 1137 | 1141 |
M2& m2; |
| ... | ... |
@@ -1171,13 +1175,13 @@ |
| 1171 | 1175 |
/* ************* BOOL MAPS ******************* */ |
| 1172 | 1176 |
|
| 1173 | 1177 |
///Logical 'not' of a map |
| 1174 | 1178 |
|
| 1175 | 1179 |
///This bool \ref concepts::ReadMap "read only map" returns the |
| 1176 | 1180 |
///logical negation of the value returned by the given map. |
| 1177 |
///Its \c Key is inherited from \c M, its Value is \c bool. |
|
| 1181 |
///Its \c Key is inherited from \c M, its \c Value is \c bool. |
|
| 1178 | 1182 |
/// |
| 1179 | 1183 |
///\sa NotWriteMap |
| 1180 | 1184 |
template <typename M> |
| 1181 | 1185 |
class NotMap : public MapBase<typename M::Key, bool> {
|
| 1182 | 1186 |
const M& m; |
| 1183 | 1187 |
public: |
| ... | ... |
@@ -1193,13 +1197,13 @@ |
| 1193 | 1197 |
|
| 1194 | 1198 |
///Logical 'not' of a map (ReadWrie version) |
| 1195 | 1199 |
|
| 1196 | 1200 |
///This bool \ref concepts::ReadWriteMap "read-write map" returns the |
| 1197 | 1201 |
///logical negation of the value returned by the given map. When it is set, |
| 1198 | 1202 |
///the opposite value is set to the original map. |
| 1199 |
///Its \c Key is inherited from \c M, its Value is \c bool. |
|
| 1203 |
///Its \c Key is inherited from \c M, its \c Value is \c bool. |
|
| 1200 | 1204 |
/// |
| 1201 | 1205 |
///\sa NotMap |
| 1202 | 1206 |
template <typename M> |
| 1203 | 1207 |
class NotWriteMap : public MapBase<typename M::Key, bool> {
|
| 1204 | 1208 |
M& m; |
| 1205 | 1209 |
public: |
| ... | ... |
@@ -1259,21 +1263,20 @@ |
| 1259 | 1263 |
} |
| 1260 | 1264 |
|
| 1261 | 1265 |
|
| 1262 | 1266 |
/// \brief Writable bool map for logging each \c true assigned element |
| 1263 | 1267 |
/// |
| 1264 | 1268 |
/// A \ref concepts::ReadWriteMap "read-write" bool map for logging |
| 1265 |
/// each \c true assigned element, i.e it |
|
| 1269 |
/// each \c true assigned element, i.e it copies all the keys set |
|
| 1266 | 1270 |
/// to \c true to the given iterator. |
| 1267 | 1271 |
/// |
| 1268 | 1272 |
/// \note The container of the iterator should contain space |
| 1269 | 1273 |
/// for each element. |
| 1270 | 1274 |
/// |
| 1271 |
/// The following example shows how you can write the edges found by the Prim |
|
| 1272 |
/// algorithm directly |
|
| 1273 |
/// |
|
| 1275 |
/// The following example shows how you can write the edges found by |
|
| 1276 |
/// the \ref Prim algorithm directly to the standard output. |
|
| 1274 | 1277 |
///\code |
| 1275 | 1278 |
/// typedef IdMap<Graph, Edge> EdgeIdMap; |
| 1276 | 1279 |
/// EdgeIdMap edgeId(graph); |
| 1277 | 1280 |
/// |
| 1278 | 1281 |
/// typedef MapFunctor<EdgeIdMap> EdgeIdFunctor; |
| 1279 | 1282 |
/// EdgeIdFunctor edgeIdFunctor(edgeId); |
0 comments (0 inline)