src/boost/boost/nondet_random.hpp

   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: nondet_random.hpp 71018 2011-04-05 21:27:52Z steven_watanabe $
   9  *
  10  * Revision history
  11  *  2000-02-18  Portability fixes (thanks to Beman Dawes)
  12  */
  13
  14 //  See http://www.boost.org/libs/random for documentation.
  15
  16
  17 #ifndef BOOST_NONDET_RANDOM_HPP
  18 #define BOOST_NONDET_RANDOM_HPP
  19
  20 #include <boost/random/random_device.hpp>
  21
  22 #endif /* BOOST_NONDET_RANDOM_HPP */