boost_no_cxx11_hdr_random.ipp 791 B

12345678910111213141516171819202122232425262728293031
  1. // (C) Copyright Beman Dawes 2009
  2. // Use, modification and distribution are subject to the
  3. // Boost Software License, Version 1.0. (See accompanying file
  4. // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  5. // See http://www.boost.org/libs/config for more information.
  6. // MACRO: BOOST_NO_CXX11_HDR_RANDOM
  7. // TITLE: C++0x header <random> unavailable
  8. // DESCRIPTION: The standard library does not supply C++0x header <random>
  9. #include <random>
  10. namespace boost_no_cxx11_hdr_random {
  11. int test()
  12. {
  13. using std::minstd_rand0;
  14. using std::mt19937;
  15. using std::mt19937_64;
  16. using std::ranlux24_base;
  17. using std::ranlux48_base;
  18. using std::ranlux24;
  19. using std::ranlux48;
  20. using std::knuth_b;
  21. using std::default_random_engine;
  22. return 0;
  23. }
  24. }