|
UMPIRE
Umpire: resource management and provision
|
Namespaces | |
| umpire | |
| umpire::event | |
Functions | |
| umpire::event::NLOHMANN_JSON_SERIALIZE_ENUM (category, { {category::operation, "operation"}, {category::statistic, "statistic"}, {category::metadata, "metadata"}, }) inline void to_json(nlohmann | |
| void | umpire::event::from_json (const nlohmann::json &j, event &e) |