From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 30 Jan 2012 12:32:16 +0000 (+0100)
Subject: model-checker : get rdv_points in simix for comparison between two execution states
X-Git-Tag: exp_20120216~123
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2c764b8544a391637e6279e9ace148a602e8ed3d

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 df128f61cb..3d928ba87f 100644
--- 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(xbt_dict_t) SIMIX_get_rdv_points(void);
 
 /***** Communication Requests *****/
 
diff --git a/src/simix/smx_network.c b/src/simix/smx_network.c
index 3e8e1aa5df..475db0a20f 100644
--- 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_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);