Line data    Source code

       1           1 : /**
       2             :  * @file lib/random/random.h
       3             :  *
       4             :  * @brief Random Number Generators
       5             :  *
       6             :  * Piece-Wise Deterministic Random Number Generators.
       7             :  *
       8             :  * SPDX-FileCopyrightText: 2008-2021 HPDCS Group <rootsim@googlegroups.com>
       9             :  * SPDX-License-Identifier: GPL-3.0-only
      10             :  */
      11             : #pragma once
      12             : 
      13             : #include <stdint.h>
      14             : 
      15           0 : extern void random_lib_lp_init(void);
      16             : 
      17           0 : extern double Random(void);
      18           0 : extern uint64_t RandomU64(void);
      19           1 : extern double Expent(double mean);
      20           1 : extern double Normal(void);