You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and dots ('.'), can be up to 35 characters long. Letters must be lowercase.
22 lines
595 B
22 lines
595 B
/* boost nondet_random.hpp header file |
|
* |
|
* Copyright Jens Maurer 2000 |
|
* Distributed under the Boost Software License, Version 1.0. (See |
|
* accompanying file LICENSE_1_0.txt or copy at |
|
* http://www.boost.org/LICENSE_1_0.txt) |
|
* |
|
* $Id: nondet_random.hpp 71018 2011-04-05 21:27:52Z steven_watanabe $ |
|
* |
|
* Revision history |
|
* 2000-02-18 Portability fixes (thanks to Beman Dawes) |
|
*/ |
|
|
|
// See http://www.boost.org/libs/random for documentation. |
|
|
|
|
|
#ifndef BOOST_NONDET_RANDOM_HPP |
|
#define BOOST_NONDET_RANDOM_HPP |
|
|
|
#include <boost/random/random_device.hpp> |
|
|
|
#endif /* BOOST_NONDET_RANDOM_HPP */
|
|
|