![]() |
Rosetta
2019.31
|
Utility functions for std::maps. More...
#include <map>Namespaces | |
| utility | |
| unresizable vector whose size is known at compile time, which may be allocated on the stack, and which indexes from 0. | |
Functions | |
| template<class K , class V > | |
| void | utility::map_merge (std::map< K, V > &destination_map, std::map< K, V > const &source_map) |
| Append the second map to the first For one-liner convenience (esp. for map return values.) More... | |
Utility functions for std::maps.
1.8.7