-
+
/* RngStream.h for ANSI C */
#ifndef RNGSTREAM_H
#define RNGSTREAM_H
-
+
#include "misc.h"
typedef struct RngStream_InfoState * RngStream;
XBT_PUBLIC(void) RngStream_DeleteStream (RngStream *pg);
+XBT_PUBLIC(RngStream) RngStream_CopyStream (const RngStream src);
+
+
XBT_PUBLIC(void) RngStream_ResetStartStream (RngStream g);
XBT_PUBLIC(int) RngStream_RandInt (RngStream g, int i, int j);
-
+
#endif
-
+