model-checker : fix dpor

[simgrid.git] / include / instr / jedule / jedule_platform.h

diff --git a/include/instr/jedule/jedule_platform.h b/include/instr/jedule/jedule_platform.h
index 8999e03..282821e 100644 (file)
--- a/include/instr/jedule/jedule_platform.h
+++ b/include/instr/jedule/jedule_platform.h
@@ -16,17 +16,17 @@
 #ifdef HAVE_JEDULE
 
 typedef struct jed_simgrid_container s_jed_simgrid_container_t,
-               *jed_simgrid_container_t;
+    *jed_simgrid_container_t;
 
 
 struct jed_simgrid_container {
-       char *name;
-       xbt_dynar_t container_children;
-       jed_simgrid_container_t parent;
-       xbt_dynar_t resource_list;
-       xbt_dict_t name2id;
-       int last_id;
-       int is_lowest;
+  char *name;
+  xbt_dynar_t container_children;
+  jed_simgrid_container_t parent;
+  xbt_dynar_t resource_list;
+  xbt_dict_t name2id;
+  int last_id;
+  int is_lowest;
 };
 
 
@@ -35,16 +35,16 @@ struct jed_simgrid_container {
  *
  */
 struct jed_res_subset {
-       jed_simgrid_container_t parent;
-       int start_idx; // start idx in resource_list of container
-       int nres;      // number of resources spanning starting at start_idx
+  jed_simgrid_container_t parent;
+  int start_idx; // start idx in resource_list of container
+  int nres;      // number of resources spanning starting at start_idx
 };
 
 typedef struct jed_res_subset s_jed_res_subset_t, *jed_res_subset_t;
 
 struct jedule_struct {
-       jed_simgrid_container_t root_container;
-       xbt_dict_t jedule_meta_info;
+  jed_simgrid_container_t root_container;
+  xbt_dict_t jedule_meta_info;
 };
 
 typedef struct jedule_struct s_jedule_t, *jedule_t;
@@ -61,10 +61,10 @@ void jedule_add_meta_info(jedule_t jedule, char *key, char *value);
 void jed_simgrid_create_container(jed_simgrid_container_t *container, char *name);
 
 void jed_simgrid_add_container(jed_simgrid_container_t parent,
-               jed_simgrid_container_t child);
+    jed_simgrid_container_t child);
 
 void jed_simgrid_add_resources(jed_simgrid_container_t parent,
-               xbt_dynar_t host_names);
+    xbt_dynar_t host_names);
 
 /**
  *
@@ -75,18 +75,18 @@ void jed_simgrid_add_resources(jed_simgrid_container_t parent,
  * host_names is the list of host_names associated with an event
  */
 void jed_simgrid_get_resource_selection_by_hosts(xbt_dynar_t subset_list,
-               xbt_dynar_t host_names);
+    xbt_dynar_t host_names);
 
 /*
   global:
-         hash host_id -> container
+      hash host_id -> container
 
   container:
-         hash host_id -> jed_host_id
+      hash host_id -> jed_host_id
 
-         list <- [ jed_host_ids ]
-         list <- sort( list )
-         list_chunks <- chunk( list )   -> [ 1, 3-5, 7-9 ]
+      list <- [ jed_host_ids ]
+      list <- sort( list )
+      list_chunks <- chunk( list )   -> [ 1, 3-5, 7-9 ]
 
 */