added optional button to restart game (door, panel and touch variants)

[rocksndiamonds.git] / src / libgame / random.h

diff --git a/src/libgame/random.h b/src/libgame/random.h
index 04b7d68bfe073d46d7f607d400bb245ac4b9e12c..0da74da4c83575d94dfe2da8c5b610628d327872 100644 (file)
--- a/src/libgame/random.h
+++ b/src/libgame/random.h
@@ -1,20 +1,35 @@
-/***********************************************************
-* Artsoft Retro-Game Library                               *
-*----------------------------------------------------------*
-* (c) 1994-2000 Artsoft Entertainment                      *
-*               Holger Schemel                             *
-*               Detmolder Strasse 189                      *
-*               33604 Bielefeld                            *
-*               Germany                                    *
-*               e-mail: info@artsoft.org                   *
-*----------------------------------------------------------*
-* random.h                                                 *
-***********************************************************/
+// ============================================================================
+// Artsoft Retro-Game Library
+// ----------------------------------------------------------------------------
+// (c) 1995-2014 by Artsoft Entertainment
+//                         Holger Schemel
+//                 info@artsoft.org
+//                 https://www.artsoft.org/
+// ----------------------------------------------------------------------------
+// random.h
+// ============================================================================
 
 #ifndef RANDOM_H
 #define RANDOM_H
 
-void srandom_linux_libc(unsigned int);
-long int random_linux_libc(void);
+void srandom_linux_libc(int, unsigned int);
+int random_linux_libc(int);
+
+
+// ============================================================================
+
+#include <stddef.h>
+
+void prng_seed_time (void);
+void prng_seed_bytes (const void *, size_t);
+unsigned char prng_get_octet (void);
+unsigned char prng_get_byte (void);
+void prng_get_bytes (void *, size_t);
+unsigned long prng_get_ulong (void);
+long prng_get_long (void);
+unsigned prng_get_uint (void);
+int prng_get_int (void);
+double prng_get_double (void);
+double prng_get_double_normal (void);
 
 #endif