#define SG_PLATF_INTERFACE_H
#include "simgrid/platf.h" /* public interface */
+#include "xbt/RngStream.h"
/* Module management functions */
void sg_platf_init(void);
typedef void (*sg_platf_link_cb_t)(sg_platf_link_cbarg_t);
typedef void (*sg_platf_peer_cb_t)(sg_platf_peer_cbarg_t);
typedef void (*sg_platf_cluster_cb_t)(sg_platf_cluster_cbarg_t);
-typedef void (*sg_platf_AS_begin_cb_t)(const char*id, const char*routing);
+typedef void (*sg_platf_AS_begin_cb_t)(const char*id, int routing);
typedef void (*sg_platf_storage_cb_t)(sg_platf_storage_cbarg_t);
typedef void (*sg_platf_storage_type_cb_t)(sg_platf_storage_type_cbarg_t);
*/
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 */