Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

[simgrid.git] / src / include / simgrid / platf_interface.h

diff --git a/src/include/simgrid/platf_interface.h b/src/include/simgrid/platf_interface.h
index 8a61ba9..ab2a7c8 100644 (file)
--- a/src/include/simgrid/platf_interface.h
+++ b/src/include/simgrid/platf_interface.h
@@ -10,6 +10,7 @@
 #define SG_PLATF_INTERFACE_H
 
 #include "simgrid/platf.h" /* public interface */
+#include "xbt/RngStream.h"
 
 /* Module management functions */
 void sg_platf_init(void);
@@ -49,7 +50,8 @@ void sg_platf_mount_add_cb(sg_platf_mount_cb_t fct);
  */
 void surf_config_models_setup(void);
 
-
-
+/* RngStream management functions */
+void sg_platf_rng_stream_init(unsigned long seed[6]);
+RngStream sg_platf_rng_stream_get(const char* id);
 
 #endif                          /* SG_PLATF_INTERFACE_H */