+/** @brief Displays debugging information about a host */
+void sg_host_dump(sg_host_t host)
+{
+ xbt_dict_t props;
+ xbt_dict_cursor_t cursor=nullptr;
+ char *key,*data;
+
+ XBT_INFO("Displaying host %s", sg_host_get_name(host));
+ XBT_INFO(" - speed: %.0f", host->speed());
+ XBT_INFO(" - available speed: %.2f", sg_host_get_available_speed(host));
+ props = sg_host_get_properties(host);
+
+ if (!xbt_dict_is_empty(props)){
+ XBT_INFO(" - properties:");
+
+ xbt_dict_foreach(props,cursor,key,data) {
+ XBT_INFO(" %s->%s",key,data);
+ }
+ }
+}