[travis] detect linux as we should

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

diff --git a/include/xbt/RngStream.h b/include/xbt/RngStream.h
index ecbd493..8b80e54 100644 (file)
--- a/include/xbt/RngStream.h
+++ b/include/xbt/RngStream.h
@@ -1,9 +1,14 @@
- 
+/* 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;
 
@@ -15,51 +20,54 @@ struct RngStream_InfoState {
 };
 
 
-int RngStream_SetPackageSeed (unsigned long seed[6]);
+XBT_PUBLIC(int) RngStream_SetPackageSeed (unsigned long seed[6]);
+
 
+XBT_PUBLIC(RngStream) RngStream_CreateStream (const char name[]);
 
-RngStream RngStream_CreateStream (const char name[]);
 
+XBT_PUBLIC(void) RngStream_DeleteStream (RngStream *pg);
 
-void RngStream_DeleteStream (RngStream *pg);
 
+XBT_PUBLIC(RngStream) RngStream_CopyStream (const RngStream src);
 
-void RngStream_ResetStartStream (RngStream g);
 
+XBT_PUBLIC(void) RngStream_ResetStartStream (RngStream g);
 
-void RngStream_ResetStartSubstream (RngStream g);
 
+XBT_PUBLIC(void) RngStream_ResetStartSubstream (RngStream g);
 
-void RngStream_ResetNextSubstream (RngStream g);
 
+XBT_PUBLIC(void) RngStream_ResetNextSubstream (RngStream g);
 
-void RngStream_SetAntithetic (RngStream g, int a);
 
+XBT_PUBLIC(void) RngStream_SetAntithetic (RngStream g, int a);
 
-void RngStream_IncreasedPrecis (RngStream g, int incp);
 
+XBT_PUBLIC(void) RngStream_IncreasedPrecis (RngStream g, int incp);
 
-int RngStream_SetSeed (RngStream g, unsigned long seed[6]);
 
+XBT_PUBLIC(int) RngStream_SetSeed (RngStream g, unsigned long seed[6]);
 
-void RngStream_AdvanceState (RngStream g, long e, long c);
 
+XBT_PUBLIC(void) RngStream_AdvanceState (RngStream g, long e, long c);
 
-void RngStream_GetState (RngStream g, unsigned long seed[6]);
 
+XBT_PUBLIC(void) RngStream_GetState (RngStream g, unsigned long seed[6]);
 
-void RngStream_WriteState (RngStream g);
 
+XBT_PUBLIC(void) RngStream_WriteState (RngStream g);
 
-void RngStream_WriteStateFull (RngStream g);
 
+XBT_PUBLIC(void) RngStream_WriteStateFull (RngStream g);
 
-double RngStream_RandU01 (RngStream g);
 
+XBT_PUBLIC(double) RngStream_RandU01 (RngStream g);
+
+
+XBT_PUBLIC(int) RngStream_RandInt (RngStream g, int i, int j);
 
-int RngStream_RandInt (RngStream g, int i, int j);
- 
 
 #endif
- 
+