libstdc++: random Source File (original) (raw)

1// -*- C++ -*-

2

3// Copyright (C) 2007-2024 Free Software Foundation, Inc.

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

35

36#if __cplusplus < 201103L

38#else

39

41#include <cstdint> // For uint_fast32_t, uint_fast64_t, uint_least32_t

51

52#endif // C++11

53

54#endif // _GLIBCXX_RANDOM