|
UMPIRE
Umpire: resource management and provision
|
#include <string>#include "camp/resource/platform.hpp"Namespaces | |
| umpire | |
Typedefs | |
| using | umpire::Platform = camp::resources::Platform |
Functions | |
| std::string | umpire::platform_to_string (Platform type) |