| 361 | */ |
| 362 | template<typename Map> |
| 363 | std::set<typename Map::mapped_type> getValuesFromMap(const Map &m) { |
| 364 | std::set<typename Map::mapped_type> keys; |
| 365 | for (auto &p : m) { |
| 366 | keys.insert(p.second); |
| 367 | } |
| 368 | return keys; |
| 369 | } |
| 370 | |
| 371 | /** |
| 372 | * @brief Returns @c true if the given map @a m has a key @a k, @c false |