![]()  | 
  
    Rosetta
    2019.12
    
   | 
 
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