model-checker : new comparison of region (program data and libsimgrid data)

[simgrid.git] / include / simix / context.h

diff --git a/include/simix/context.h b/include/simix/context.h
index f3dba8b..9408c19 100644 (file)
--- a/include/simix/context.h
+++ b/include/simix/context.h
@@ -96,15 +96,17 @@ XBT_PUBLIC(smx_context_t) smx_ctx_base_self(void);
 XBT_PUBLIC(void) *smx_ctx_base_get_data(smx_context_t context);
 
 XBT_PUBLIC(xbt_dynar_t) SIMIX_process_get_runnable(void);
+XBT_PUBLIC(smx_process_t) SIMIX_process_from_PID(int PID);
+XBT_PUBLIC(xbt_dynar_t) SIMIX_processes_as_dynar(void);
 
 /* parallelism */
-XBT_INLINE int SIMIX_context_is_parallel(void);
-XBT_INLINE int SIMIX_context_get_nthreads(void);
-XBT_INLINE void SIMIX_context_set_nthreads(int nb_threads);
-XBT_INLINE int SIMIX_context_get_parallel_threshold(void);
-XBT_INLINE void SIMIX_context_set_parallel_threshold(int threshold);
-XBT_INLINE e_xbt_parmap_mode_t SIMIX_context_get_parallel_mode(void);
-XBT_INLINE void SIMIX_context_set_parallel_mode(e_xbt_parmap_mode_t mode);
+XBT_PUBLIC(int) SIMIX_context_is_parallel(void);
+XBT_PUBLIC(int) SIMIX_context_get_nthreads(void);
+XBT_PUBLIC(void) SIMIX_context_set_nthreads(int nb_threads);
+XBT_PUBLIC(int) SIMIX_context_get_parallel_threshold(void);
+XBT_PUBLIC(void) SIMIX_context_set_parallel_threshold(int threshold);
+XBT_PUBLIC(e_xbt_parmap_mode_t) SIMIX_context_get_parallel_mode(void);
+XBT_PUBLIC(void) SIMIX_context_set_parallel_mode(e_xbt_parmap_mode_t mode);
 
 SG_END_DECL()