1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/os/ossrv/ossrv_pub/boost_apis/boost/nondet_random.hpp	Fri Jun 15 03:10:57 2012 +0200
     1.3 @@ -0,0 +1,64 @@
     1.4 +/* boost nondet_random.hpp header file
     1.5 + *
     1.6 + * Copyright Jens Maurer 2000
     1.7 + * Distributed under the Boost Software License, Version 1.0. (See
     1.8 + * accompanying file LICENSE_1_0.txt or copy at
     1.9 + * http://www.boost.org/LICENSE_1_0.txt)
    1.10 + *
    1.11 + * $Id: nondet_random.hpp,v 1.9 2004/07/27 03:43:27 dgregor Exp $
    1.12 + *
    1.13 + * Revision history
    1.14 + *  2000-02-18  Portability fixes (thanks to Beman Dawes)
    1.15 + */
    1.16 +
    1.17 +//  See http://www.boost.org/libs/random for documentation.
    1.18 +
    1.19 +
    1.20 +#ifndef BOOST_NONDET_RANDOM_HPP
    1.21 +#define BOOST_NONDET_RANDOM_HPP
    1.22 +
    1.23 +#include <string>                       // std::abs
    1.24 +#include <algorithm>                    // std::min
    1.25 +#include <cmath>
    1.26 +#include <boost/config.hpp>
    1.27 +#include <boost/utility.hpp>            // noncopyable
    1.28 +#include <boost/integer_traits.hpp>     // compile-time integral limits
    1.29 +
    1.30 +namespace boost {
    1.31 +
    1.32 +// use some OS service to generate non-deterministic random numbers
    1.33 +class random_device : private noncopyable
    1.34 +{
    1.35 +public:
    1.36 +  typedef unsigned int result_type;
    1.37 +  BOOST_STATIC_CONSTANT(bool, has_fixed_range = true);
    1.38 +  BOOST_STATIC_CONSTANT(result_type, min_value = integer_traits<result_type>::const_min);
    1.39 +  BOOST_STATIC_CONSTANT(result_type, max_value = integer_traits<result_type>::const_max);
    1.40 +
    1.41 +  result_type min BOOST_PREVENT_MACRO_SUBSTITUTION () const { return min_value; }
    1.42 +  result_type max BOOST_PREVENT_MACRO_SUBSTITUTION () const { return max_value; }
    1.43 +  explicit random_device(const std::string& token = default_token);
    1.44 +  ~random_device();
    1.45 +  double entropy() const;
    1.46 +  unsigned int operator()();
    1.47 +
    1.48 +private:
    1.49 +  static const char * const default_token;
    1.50 +
    1.51 +  /*
    1.52 +   * std:5.3.5/5 [expr.delete]: "If the object being deleted has incomplete
    1.53 +   * class type at the point of deletion and the complete class has a
    1.54 +   * non-trivial destructor [...], the behavior is undefined".
    1.55 +   * This disallows the use of scoped_ptr<> with pimpl-like classes
    1.56 +   * having a non-trivial destructor.
    1.57 +   */
    1.58 +  class impl;
    1.59 +  impl * pimpl;
    1.60 +};
    1.61 +
    1.62 +
    1.63 +// TODO: put Schneier's Yarrow-160 algorithm here.
    1.64 +
    1.65 +} // namespace boost
    1.66 +
    1.67 +#endif /* BOOST_NONDET_RANDOM_HPP */