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