annotate DEPENDENCIES/generic/include/boost/nondet_random.hpp @ 125:34e428693f5d vext

Vext -> Repoint
author Chris Cannam
date Thu, 14 Jun 2018 11:15:39 +0100
parents c530137014c0
children
rev   line source
Chris@16 1 /* boost nondet_random.hpp header file
Chris@16 2 *
Chris@16 3 * Copyright Jens Maurer 2000
Chris@16 4 * Distributed under the Boost Software License, Version 1.0. (See
Chris@16 5 * accompanying file LICENSE_1_0.txt or copy at
Chris@16 6 * http://www.boost.org/LICENSE_1_0.txt)
Chris@16 7 *
Chris@101 8 * $Id$
Chris@16 9 *
Chris@16 10 * Revision history
Chris@16 11 * 2000-02-18 Portability fixes (thanks to Beman Dawes)
Chris@16 12 */
Chris@16 13
Chris@16 14 // See http://www.boost.org/libs/random for documentation.
Chris@16 15
Chris@16 16
Chris@16 17 #ifndef BOOST_NONDET_RANDOM_HPP
Chris@16 18 #define BOOST_NONDET_RANDOM_HPP
Chris@16 19
Chris@16 20 #include <boost/random/random_device.hpp>
Chris@16 21
Chris@16 22 #endif /* BOOST_NONDET_RANDOM_HPP */