sl@0: /* boost nondet_random.hpp header file
sl@0:  *
sl@0:  * Copyright Jens Maurer 2000
sl@0:  * Distributed under the Boost Software License, Version 1.0. (See
sl@0:  * accompanying file LICENSE_1_0.txt or copy at
sl@0:  * http://www.boost.org/LICENSE_1_0.txt)
sl@0:  *
sl@0:  * $Id: nondet_random.hpp,v 1.9 2004/07/27 03:43:27 dgregor Exp $
sl@0:  *
sl@0:  * Revision history
sl@0:  *  2000-02-18  Portability fixes (thanks to Beman Dawes)
sl@0:  */
sl@0: 
sl@0: //  See http://www.boost.org/libs/random for documentation.
sl@0: 
sl@0: 
sl@0: #ifndef BOOST_NONDET_RANDOM_HPP
sl@0: #define BOOST_NONDET_RANDOM_HPP
sl@0: 
sl@0: #include <string>                       // std::abs
sl@0: #include <algorithm>                    // std::min
sl@0: #include <cmath>
sl@0: #include <boost/config.hpp>
sl@0: #include <boost/utility.hpp>            // noncopyable
sl@0: #include <boost/integer_traits.hpp>     // compile-time integral limits
sl@0: 
sl@0: namespace boost {
sl@0: 
sl@0: // use some OS service to generate non-deterministic random numbers
sl@0: class random_device : private noncopyable
sl@0: {
sl@0: public:
sl@0:   typedef unsigned int result_type;
sl@0:   BOOST_STATIC_CONSTANT(bool, has_fixed_range = true);
sl@0:   BOOST_STATIC_CONSTANT(result_type, min_value = integer_traits<result_type>::const_min);
sl@0:   BOOST_STATIC_CONSTANT(result_type, max_value = integer_traits<result_type>::const_max);
sl@0: 
sl@0:   result_type min BOOST_PREVENT_MACRO_SUBSTITUTION () const { return min_value; }
sl@0:   result_type max BOOST_PREVENT_MACRO_SUBSTITUTION () const { return max_value; }
sl@0:   explicit random_device(const std::string& token = default_token);
sl@0:   ~random_device();
sl@0:   double entropy() const;
sl@0:   unsigned int operator()();
sl@0: 
sl@0: private:
sl@0:   static const char * const default_token;
sl@0: 
sl@0:   /*
sl@0:    * std:5.3.5/5 [expr.delete]: "If the object being deleted has incomplete
sl@0:    * class type at the point of deletion and the complete class has a
sl@0:    * non-trivial destructor [...], the behavior is undefined".
sl@0:    * This disallows the use of scoped_ptr<> with pimpl-like classes
sl@0:    * having a non-trivial destructor.
sl@0:    */
sl@0:   class impl;
sl@0:   impl * pimpl;
sl@0: };
sl@0: 
sl@0: 
sl@0: // TODO: put Schneier's Yarrow-160 algorithm here.
sl@0: 
sl@0: } // namespace boost
sl@0: 
sl@0: #endif /* BOOST_NONDET_RANDOM_HPP */