process_change_host True (void) (process, void*, smx_process_t) (dest, void*, smx_host_t)
process_suspend False (void) (process, void*, smx_process_t)
process_resume True (void) (process, void*, smx_process_t)
-process_count True (int)
+process_count True (int)
process_get_PID True (int) (process, void*, smx_process_t)
process_get_PPID True (int) (process, void*, smx_process_t)
process_get_data True (void*) (process, void*, smx_process_t)
process_get_name True (const char*) (process, void*, smx_process_t)
process_is_suspended True (int) (process, void*, smx_process_t)
process_get_properties True (void*, xbt_dict_t) (process, void*, smx_process_t)
+process_join False (int) (process, void*, smx_process_t) (timeout, double)
process_sleep False (int) (duration, double)
-process_on_exit True (void) (process, void*, smx_process_t) (fun, FPtr, int_f_pvoid_t) (data, void*)
+process_on_exit True (void) (process, void*, smx_process_t) (fun, FPtr, int_f_pvoid_pvoid_t) (data, void*)
process_auto_restart_set True (void) (process, void*, smx_process_t) (auto_restart, int)
process_restart True (void*, smx_process_t) (process, void*, smx_process_t)
rdv_create True (void*, smx_rdv_t) (name, const char*)
comm_get_dst_data True (void*) (comm, void*, smx_action_t)
comm_get_src_proc True (void*, smx_process_t) (comm, void*, smx_action_t)
comm_get_dst_proc True (void*, smx_process_t) (comm, void*, smx_action_t)
-mutex_init True (void*, smx_mutex_t)
+mutex_init True (void*, smx_mutex_t)
mutex_destroy True (void) (mutex, void*, smx_mutex_t)
mutex_lock False (void) (mutex, void*, smx_mutex_t)
mutex_trylock True (int) (mutex, void*, smx_mutex_t)
mutex_unlock True (void) (mutex, void*, smx_mutex_t)
-cond_init True (void*, smx_cond_t)
+cond_init True (void*, smx_cond_t)
cond_destroy True (void) (cond, void*, smx_cond_t)
cond_signal True (void) (cond, void*, smx_cond_t)
cond_wait False (void) (cond, void*, smx_cond_t) (mutex, void*, smx_mutex_t)
## HAVE_TRACING
set_category True (void) (action, void*, smx_action_t) (category, const char*)
## HAVE_MC
-mc_snapshot True (void*)
+mc_snapshot True (void*)
mc_compare_snapshots True (int) (s1, void*) (s2, void*)
mc_random True (int) (min, int) (max, int)