/usr/include/xbt/RngStream.h is in libsimgrid-dev 3.10-7.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 | /* RngStream.h for ANSI C */
#ifndef RNGSTREAM_H
#define RNGSTREAM_H
#include "misc.h"
typedef struct RngStream_InfoState * RngStream;
struct RngStream_InfoState {
double Cg[6], Bg[6], Ig[6];
int Anti;
int IncPrec;
char *name;
};
XBT_PUBLIC(int) RngStream_SetPackageSeed (unsigned long seed[6]);
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);
XBT_PUBLIC(void) RngStream_ResetStartSubstream (RngStream g);
XBT_PUBLIC(void) RngStream_ResetNextSubstream (RngStream g);
XBT_PUBLIC(void) RngStream_SetAntithetic (RngStream g, int a);
XBT_PUBLIC(void) RngStream_IncreasedPrecis (RngStream g, int incp);
XBT_PUBLIC(int) RngStream_SetSeed (RngStream g, unsigned long seed[6]);
XBT_PUBLIC(void) RngStream_AdvanceState (RngStream g, long e, long c);
XBT_PUBLIC(void) RngStream_GetState (RngStream g, unsigned long seed[6]);
XBT_PUBLIC(void) RngStream_WriteState (RngStream g);
XBT_PUBLIC(void) RngStream_WriteStateFull (RngStream g);
XBT_PUBLIC(double) RngStream_RandU01 (RngStream g);
XBT_PUBLIC(int) RngStream_RandInt (RngStream g, int i, int j);
#endif
|