random.h
Go to the documentation of this file.
1 /*
2  * Copyright (C) 2013 Freie Universität Berlin
3  *
4  * This file is subject to the terms and conditions of the GNU Lesser
5  * General Public License v2.1. See the file LICENSE in the top level
6  * directory for more details.
7  */
8 
35 #ifndef RANDOM_H
36 #define RANDOM_H
37 
38 #include <inttypes.h>
39 #include <stddef.h>
40 
41 #ifdef __cplusplus
42 extern "C" {
43 #endif
44 
45 #ifndef RANDOM_SEED_DEFAULT
50 #define RANDOM_SEED_DEFAULT (1)
51 #endif
52 
56 #ifndef PRNG_FLOAT
57 # define PRNG_FLOAT (0)
58 #endif
59 
72 void random_init(uint32_t s);
73 
83 void random_init_by_array(uint32_t init_key[], int key_length);
84 
89 uint32_t random_uint32(void);
90 
94 void random_bytes(void *buf, size_t size);
95 
106 uint32_t random_uint32_range(uint32_t a, uint32_t b);
107 
108 #if PRNG_FLOAT || defined(DOXYGEN)
109 /* These real versions are due to Isaku Wada, 2002/01/09 added */
110 
115 double random_real(void);
116 
122 
128 
133 double random_res53(void);
134 
135 #endif /* PRNG_FLOAT */
136 
137 #ifdef __cplusplus
138 }
139 #endif
140 
141 #endif /* RANDOM_H */
void random_init(uint32_t s)
initializes PRNG with a seed
double random_real_inclusive(void)
generates a random number on [0,1]-real-interval
void random_init_by_array(uint32_t init_key[], int key_length)
initialize by an array with array-length init_key is the array for initializing keys key_length is it...
double random_res53(void)
generates a random number on [0,1) with 53-bit resolution
void random_bytes(void *buf, size_t size)
writes random bytes in the [0,0xff]-interval to memory
uint32_t random_uint32_range(uint32_t a, uint32_t b)
generates a random number r with a <= r < b.
uint32_t random_uint32(void)
generates a random number on [0,0xffffffff]-interval
double random_real(void)
generates a random number on [0,1)-real-interval
double random_real_exclusive(void)
generates a random number on (0,1)-real-interval
Adds include for missing inttype definitions.