XBT_PUBLIC void set_host_variable(const std::string& host, const std::string& variable, double value,
double time = simgrid_get_clock());
XBT_PUBLIC void add_host_variable(const std::string& host, const std::string& variable, double value,
XBT_PUBLIC void set_host_variable(const std::string& host, const std::string& variable, double value,
double time = simgrid_get_clock());
XBT_PUBLIC void add_host_variable(const std::string& host, const std::string& variable, double value,