|
sl@0
|
1 |
/* boost nondet_random.hpp header file
|
|
sl@0
|
2 |
*
|
|
sl@0
|
3 |
* Copyright Jens Maurer 2000
|
|
sl@0
|
4 |
* Distributed under the Boost Software License, Version 1.0. (See
|
|
sl@0
|
5 |
* accompanying file LICENSE_1_0.txt or copy at
|
|
sl@0
|
6 |
* http://www.boost.org/LICENSE_1_0.txt)
|
|
sl@0
|
7 |
*
|
|
sl@0
|
8 |
* $Id: nondet_random.hpp,v 1.9 2004/07/27 03:43:27 dgregor Exp $
|
|
sl@0
|
9 |
*
|
|
sl@0
|
10 |
* Revision history
|
|
sl@0
|
11 |
* 2000-02-18 Portability fixes (thanks to Beman Dawes)
|
|
sl@0
|
12 |
*/
|
|
sl@0
|
13 |
|
|
sl@0
|
14 |
// See http://www.boost.org/libs/random for documentation.
|
|
sl@0
|
15 |
|
|
sl@0
|
16 |
|
|
sl@0
|
17 |
#ifndef BOOST_NONDET_RANDOM_HPP
|
|
sl@0
|
18 |
#define BOOST_NONDET_RANDOM_HPP
|
|
sl@0
|
19 |
|
|
sl@0
|
20 |
#include <string> // std::abs
|
|
sl@0
|
21 |
#include <algorithm> // std::min
|
|
sl@0
|
22 |
#include <cmath>
|
|
sl@0
|
23 |
#include <boost/config.hpp>
|
|
sl@0
|
24 |
#include <boost/utility.hpp> // noncopyable
|
|
sl@0
|
25 |
#include <boost/integer_traits.hpp> // compile-time integral limits
|
|
sl@0
|
26 |
|
|
sl@0
|
27 |
namespace boost {
|
|
sl@0
|
28 |
|
|
sl@0
|
29 |
// use some OS service to generate non-deterministic random numbers
|
|
sl@0
|
30 |
class random_device : private noncopyable
|
|
sl@0
|
31 |
{
|
|
sl@0
|
32 |
public:
|
|
sl@0
|
33 |
typedef unsigned int result_type;
|
|
sl@0
|
34 |
BOOST_STATIC_CONSTANT(bool, has_fixed_range = true);
|
|
sl@0
|
35 |
BOOST_STATIC_CONSTANT(result_type, min_value = integer_traits<result_type>::const_min);
|
|
sl@0
|
36 |
BOOST_STATIC_CONSTANT(result_type, max_value = integer_traits<result_type>::const_max);
|
|
sl@0
|
37 |
|
|
sl@0
|
38 |
result_type min BOOST_PREVENT_MACRO_SUBSTITUTION () const { return min_value; }
|
|
sl@0
|
39 |
result_type max BOOST_PREVENT_MACRO_SUBSTITUTION () const { return max_value; }
|
|
sl@0
|
40 |
explicit random_device(const std::string& token = default_token);
|
|
sl@0
|
41 |
~random_device();
|
|
sl@0
|
42 |
double entropy() const;
|
|
sl@0
|
43 |
unsigned int operator()();
|
|
sl@0
|
44 |
|
|
sl@0
|
45 |
private:
|
|
sl@0
|
46 |
static const char * const default_token;
|
|
sl@0
|
47 |
|
|
sl@0
|
48 |
/*
|
|
sl@0
|
49 |
* std:5.3.5/5 [expr.delete]: "If the object being deleted has incomplete
|
|
sl@0
|
50 |
* class type at the point of deletion and the complete class has a
|
|
sl@0
|
51 |
* non-trivial destructor [...], the behavior is undefined".
|
|
sl@0
|
52 |
* This disallows the use of scoped_ptr<> with pimpl-like classes
|
|
sl@0
|
53 |
* having a non-trivial destructor.
|
|
sl@0
|
54 |
*/
|
|
sl@0
|
55 |
class impl;
|
|
sl@0
|
56 |
impl * pimpl;
|
|
sl@0
|
57 |
};
|
|
sl@0
|
58 |
|
|
sl@0
|
59 |
|
|
sl@0
|
60 |
// TODO: put Schneier's Yarrow-160 algorithm here.
|
|
sl@0
|
61 |
|
|
sl@0
|
62 |
} // namespace boost
|
|
sl@0
|
63 |
|
|
sl@0
|
64 |
#endif /* BOOST_NONDET_RANDOM_HPP */
|