model-checker : move functions about snapshot comparison in a separate file mc_compare.c

[simgrid.git] / src / xbt / setset_private.h

diff --git a/src/xbt/setset_private.h b/src/xbt/setset_private.h
index 8a4d436..6e12ee4 100644 (file)
--- a/src/xbt/setset_private.h
+++ b/src/xbt/setset_private.h
@@ -21,19 +21,19 @@ typedef union u_xbt_setset_elm_entry {
 } u_xbt_setset_elm_entry_t, *xbt_setset_elm_entry_t;
 
 typedef struct s_xbt_setset_set {
-  xbt_setset_t setset;         /* setset that contains this set */
-  unsigned int size;           /* in integers */
-  unsigned int *bitmap;        /* the bit array */
+  xbt_setset_t setset;          /* setset that contains this set */
+  unsigned int size;            /* in integers */
+  unsigned int *bitmap;         /* the bit array */
 } s_xbt_setset_set_t;
 
 typedef struct s_xbt_setset {
-  xbt_dynar_t elm_array;    /* of s_xbt_setset_elm_entry_t, to find elements by index */
-  xbt_fifo_t sets;         /* of s_xbt_setset_set_t, memberships in actual sets of setset */
+  xbt_dynar_t elm_array;        /* of s_xbt_setset_elm_entry_t, to find elements by index */
+  xbt_fifo_t sets;              /* of s_xbt_setset_set_t, memberships in actual sets of setset */
 } s_xbt_setset_t;
 
 typedef struct s_xbt_setset_cursor {
-  int idx;       /* Actual postition of the cursor (bit number) */
-  xbt_setset_set_t set;   /* The set associated to the cursor */
+  int idx;                      /* Actual postition of the cursor (bit number) */
+  xbt_setset_set_t set;         /* The set associated to the cursor */
 } s_xbt_setset_cursor_t;
 
 /* Some internal functions */
@@ -51,10 +51,3 @@ void _set_bit(unsigned int bit, unsigned int *bitmap);
 
 /* Unset the nth bit of an array of integers */
 void _unset_bit(unsigned int bit, unsigned int *bitmap);
-
-
-
-
-
-
-