Cleanup after join with HEAD.

[SVN r9446]

include/boost/nondet_random.hpp

@@ -1,72 +0,0 @@
-/* boost nondet_random.hpp header file
- *
- * Copyright Jens Maurer 2000
- * Permission to use, copy, modify, sell, and distribute this software
- * is hereby granted without fee provided that the above copyright notice
- * appears in all copies and that both that copyright notice and this
- * permission notice appear in supporting documentation,
- *
- * Jens Maurer makes no representations about the suitability of this
- * software for any purpose. It is provided "as is" without express or
- * implied warranty.
- *
- * $Id$
- *
- * Revision history
- *  2000-02-18  Portability fixes (thanks to Beman Dawes)
- */
-
-#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 : noncopyable
-{
-public:
-  typedef unsigned int result_type;
-#ifndef BOOST_NO_INCLASS_MEMBER_INITIALIZATION
-  static const bool has_fixed_range = true;
-  static const result_type min_value = integer_traits<result_type>::const_min;
-  static const result_type max_value = integer_traits<result_type>::const_max;
-#else
-  enum { 
-    has_fixed_range = true, 
-    min_value = integer_traits<result_type>::const_min, 
-    max_value = integer_traits<result_type>::const_max
-  };
-#endif
-  result_type min() const { return integer_traits<result_type>::min(); }
-  result_type max() const { return integer_traits<result_type>::max(); }
-  explicit random_device(const std::string& token = default_token);
-  ~random_device();
-  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 */