| 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 | |
|---|
| 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 */ |
|---|
| 23 | |
|---|
