| 215 | |
| 216 | template <class Value> |
| 217 | static std::vector<const char*> get_names(const std::unordered_map<std::string, Value>& m) |
| 218 | { |
| 219 | std::vector<const char*> result; |
| 220 | std::transform( |
| 221 | m.begin(), m.end(), std::back_inserter(result), [](auto&& p) { return p.first.c_str(); }); |
| 222 | return result; |
| 223 | } |
| 224 | |
| 225 | template <class T> |
| 226 | static std::set<T> make_set(const T* x, std::size_t n) |