Loading...
Searching...
No Matches
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
42extern "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
72void random_init(uint32_t s);
73
83void random_init_by_array(uint32_t init_key[], int key_length);
84
89uint32_t random_uint32(void);
90
94void random_bytes(void *buf, size_t size);
95
106uint32_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
115double random_real(void);
116
122
128
133double 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.