Blame boost/nondet_random.hpp
|
Packit |
58578d |
/* boost nondet_random.hpp header file
|
|
Packit |
58578d |
*
|
|
Packit |
58578d |
* Copyright Jens Maurer 2000
|
|
Packit |
58578d |
* Distributed under the Boost Software License, Version 1.0. (See
|
|
Packit |
58578d |
* accompanying file LICENSE_1_0.txt or copy at
|
|
Packit |
58578d |
* http://www.boost.org/LICENSE_1_0.txt)
|
|
Packit |
58578d |
*
|
|
Packit |
58578d |
* $Id$
|
|
Packit |
58578d |
*
|
|
Packit |
58578d |
* Revision history
|
|
Packit |
58578d |
* 2000-02-18 Portability fixes (thanks to Beman Dawes)
|
|
Packit |
58578d |
*/
|
|
Packit |
58578d |
|
|
Packit |
58578d |
// See http://www.boost.org/libs/random for documentation.
|
|
Packit |
58578d |
|
|
Packit |
58578d |
|
|
Packit |
58578d |
#ifndef BOOST_NONDET_RANDOM_HPP
|
|
Packit |
58578d |
#define BOOST_NONDET_RANDOM_HPP
|
|
Packit |
58578d |
|
|
Packit |
58578d |
#include <boost/random/random_device.hpp>
|
|
Packit |
58578d |
|
|
Packit |
58578d |
#endif /* BOOST_NONDET_RANDOM_HPP */
|