From a17358a6aaa85cbfcdbdf52911d73e003fd5fde5 Mon Sep 17 00:00:00 2001
From: "Ralf W. Grosse-Kunstleve" <rwgk@yahoo.com>
Date: Mon, 5 Mar 2001 20:28:52 +0000
Subject: [PATCH] Cleanup after join with HEAD.

[SVN r9446]
---
 include/boost/nondet_random.hpp | 72 ---------------------------------
 1 file changed, 72 deletions(-)
 delete mode 100644 include/boost/nondet_random.hpp

diff --git a/include/boost/nondet_random.hpp b/include/boost/nondet_random.hpp
deleted file mode 100644
index 989325f..0000000
--- a/include/boost/nondet_random.hpp
+++ /dev/null
@@ -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 */