X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/95bcda88a7fcfa168381cba0eedadb1e4937d0b3..4afde5a12341a68569e8c15d06a799d3b26338e9:/src/mc/mc_model_checker.h

diff --git a/src/mc/mc_model_checker.h b/src/mc/mc_model_checker.h
index 9c6b87670f..4c42b816d9 100644
--- a/src/mc/mc_model_checker.h
+++ b/src/mc/mc_model_checker.h
@@ -31,28 +31,15 @@ struct s_mc_model_checker {
   mc_snapshot_t parent_snapshot;
   mc_pages_store_t pages;
   int fd_clear_refs;
-  int fd_pagemap;
   xbt_dynar_t record;
   s_mc_process_t process;
+  /** String pool for host names */
+  xbt_dict_t /* <hostname, NULL> */ hosts;
 };
 
 mc_model_checker_t MC_model_checker_new(pid_t pid, int socket);
 void MC_model_checker_delete(mc_model_checker_t mc);
-
-#define MC_EACH_SIMIX_PROCESS(process, code) \
-  if (MC_process_is_self(&mc_model_checker->process)) { \
-    xbt_swag_foreach(process, simix_global->process_list) { \
-      code; \
-    } \
-  } else { \
-    MC_process_refresh_simix_processes(&mc_model_checker->process); \
-    unsigned int _smx_process_index; \
-    mc_smx_process_info_t _smx_process_info; \
-    xbt_dynar_foreach_ptr(mc_model_checker->process.smx_process_infos, _smx_process_index, _smx_process_info) { \
-      smx_process_t process = &_smx_process_info->copy; \
-      code; \
-    } \
-  }
+unsigned long MC_smx_get_maxpid(void);
 
 SG_END_DECL()