![]() |
Rosetta
2016.28
|
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 T > | |
bool | utility::has_key (std::map< T, T > const &a_map, T const &key) |
Does the map have the key? More... | |
Utility functions for std::maps.