/usr/include/xbt/RngStream.h is in libsimgrid-dev 3.18+dfsg-1.
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 | /* 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;
struct RngStream_InfoState {
double Cg[6];
double Bg[6];
double Ig[6];
int Anti;
int IncPrec;
char *name;
};
SG_BEGIN_DECL();
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);
SG_END_DECL();
#endif
|