model-checker : get rdv_points in simix for comparison between two execution states

diff --git a/include/simix/simix.h b/include/simix/simix.h
index df128f6..3d928ba 100644 (file)
--- a/include/simix/simix.h
+++ b/include/simix/simix.h
@@ -160,6 +160,7 @@ XBT_PUBLIC(void) SIMIX_req_rdv_destroy(smx_rdv_t rvp);
 XBT_PUBLIC(smx_rdv_t) SIMIX_req_rdv_get_by_name(const char *name);
 XBT_PUBLIC(int) SIMIX_req_rdv_comm_count_by_host(smx_rdv_t rdv, smx_host_t host);
 XBT_PUBLIC(smx_action_t) SIMIX_req_rdv_get_head(smx_rdv_t rdv);
 XBT_PUBLIC(smx_rdv_t) SIMIX_req_rdv_get_by_name(const char *name);
 XBT_PUBLIC(int) SIMIX_req_rdv_comm_count_by_host(smx_rdv_t rdv, smx_host_t host);
 XBT_PUBLIC(smx_action_t) SIMIX_req_rdv_get_head(smx_rdv_t rdv);

+XBT_PUBLIC(xbt_dict_t) SIMIX_get_rdv_points(void);

 
 /***** Communication Requests *****/
 
 
 /***** Communication Requests *****/
 

diff --git a/src/simix/smx_network.c b/src/simix/smx_network.c
index 3e8e1aa..475db0a 100644 (file)
--- a/src/simix/smx_network.c
+++ b/src/simix/smx_network.c
@@ -67,6 +67,11 @@ void SIMIX_rdv_free(void *data)
   xbt_free(rdv);  
 }
 
   xbt_free(rdv);  
 }
 

+xbt_dict_t SIMIX_get_rdv_points()
+{
+  return rdv_points;
+}
+

 smx_rdv_t SIMIX_rdv_get_by_name(const char *name)
 {
   return xbt_dict_get_or_null(rdv_points, name);
 smx_rdv_t SIMIX_rdv_get_by_name(const char *name)
 {
   return xbt_dict_get_or_null(rdv_points, name);