nondet_random.hpp 532 B

12345678910111213141516171819202122
  1. /* boost nondet_random.hpp header file
  2. *
  3. * Copyright Jens Maurer 2000
  4. * Distributed under the Boost Software License, Version 1.0. (See
  5. * accompanying file LICENSE_1_0.txt or copy at
  6. * http://www.boost.org/LICENSE_1_0.txt)
  7. *
  8. * $Id$
  9. *
  10. * Revision history
  11. * 2000-02-18 Portability fixes (thanks to Beman Dawes)
  12. */
  13. // See http://www.boost.org/libs/random for documentation.
  14. #ifndef BOOST_NONDET_RANDOM_HPP
  15. #define BOOST_NONDET_RANDOM_HPP
  16. #include <boost/random/random_device.hpp>
  17. #endif /* BOOST_NONDET_RANDOM_HPP */