111
|
1 // <random> -*- C++ -*-
|
|
2
|
145
|
3 // Copyright (C) 2007-2020 Free Software Foundation, Inc.
|
111
|
4 //
|
|
5 // This file is part of the GNU ISO C++ Library. This library is free
|
|
6 // software; you can redistribute it and/or modify it under the
|
|
7 // terms of the GNU General Public License as published by the
|
|
8 // Free Software Foundation; either version 3, or (at your option)
|
|
9 // any later version.
|
|
10
|
|
11 // This library is distributed in the hope that it will be useful,
|
|
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
14 // GNU General Public License for more details.
|
|
15
|
|
16 // Under Section 7 of GPL version 3, you are granted additional
|
|
17 // permissions described in the GCC Runtime Library Exception, version
|
|
18 // 3.1, as published by the Free Software Foundation.
|
|
19
|
|
20 // You should have received a copy of the GNU General Public License and
|
|
21 // a copy of the GCC Runtime Library Exception along with this program;
|
|
22 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
|
23 // <http://www.gnu.org/licenses/>.
|
|
24
|
|
25 /** @file include/random
|
|
26 * This is a Standard C++ Library header.
|
|
27 */
|
|
28
|
|
29 #ifndef _GLIBCXX_RANDOM
|
|
30 #define _GLIBCXX_RANDOM 1
|
|
31
|
|
32 #pragma GCC system_header
|
|
33
|
|
34 #if __cplusplus < 201103L
|
|
35 # include <bits/c++0x_warning.h>
|
|
36 #else
|
|
37
|
|
38 #include <cmath>
|
|
39 #include <cstdlib>
|
|
40 #include <string>
|
|
41 #include <iosfwd>
|
|
42 #include <limits>
|
|
43 #include <debug/debug.h>
|
|
44 #include <type_traits>
|
|
45
|
|
46 #ifdef _GLIBCXX_USE_C99_STDINT_TR1
|
|
47
|
|
48 #include <cstdint> // For uint_fast32_t, uint_fast64_t, uint_least32_t
|
|
49 #include <bits/random.h>
|
|
50 #include <bits/opt_random.h>
|
|
51 #include <bits/random.tcc>
|
|
52
|
|
53 #endif // _GLIBCXX_USE_C99_STDINT_TR1
|
|
54
|
|
55 #endif // C++11
|
|
56
|
|
57 #endif // _GLIBCXX_RANDOM
|