-
-void jed_simgrid_create_container(jed_simgrid_container_t *container,
- const char *name);
-
-void jed_simgrid_add_container(jed_simgrid_container_t parent,
- jed_simgrid_container_t child);
-
-void jed_simgrid_add_resources(jed_simgrid_container_t parent,
- xbt_dynar_t host_names);
+void jed_simgrid_create_container(jed_simgrid_container_t *container, const char *name);
+void jed_simgrid_add_container(jed_simgrid_container_t parent, jed_simgrid_container_t child);
+void jed_simgrid_add_resources(jed_simgrid_container_t parent, xbt_dynar_t host_names);