make the xbt_os_time module public

[simgrid.git] / include / xbt / RngStream.h

diff --git a/include/xbt/RngStream.h b/include/xbt/RngStream.h
index a2ca811..8b80e54 100644 (file)
--- a/include/xbt/RngStream.h
+++ b/include/xbt/RngStream.h
@@ -1,8 +1,13 @@
- 
+/* Copyright (c) 2012, 2014. The SimGrid Team.
+ * All rights reserved.                                                     */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
 /* RngStream.h for ANSI C */
 #ifndef RNGSTREAM_H
 #define RNGSTREAM_H
- 
+
 #include "misc.h"
 
 typedef struct RngStream_InfoState * RngStream;
@@ -24,6 +29,9 @@ XBT_PUBLIC(RngStream) RngStream_CreateStream (const char name[]);
 XBT_PUBLIC(void) RngStream_DeleteStream (RngStream *pg);
 
 
+XBT_PUBLIC(RngStream) RngStream_CopyStream (const RngStream src);
+
+
 XBT_PUBLIC(void) RngStream_ResetStartStream (RngStream g);
 
 
@@ -58,8 +66,8 @@ XBT_PUBLIC(double) RngStream_RandU01 (RngStream g);
 
 
 XBT_PUBLIC(int) RngStream_RandInt (RngStream g, int i, int j);
- 
+
 
 #endif
- 
+