[mc] Remove mc_interface.h

[simgrid.git] / src / mc / mc_model_checker.h

diff --git a/src/mc/mc_model_checker.h b/src/mc/mc_model_checker.h
index 9c6b87670f90ddd4b610f9f3969adf09853b578b..4c42b816d9b062d82fa795a6dc5958a9b1e37137 100644 (file)
--- 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()