DriveHQ Start Menu
Cloud Drive Mapping
Folder Sync
Cloud Backup
True Drop Box
FTP/SFTP Hosting
Group Account
DriveHQ Start Menu
Online File Server
My Storage
|
Manage Shares
|
Publishes
|
Drop Boxes
|
Group Account
WebDAV Drive Mapping
Cloud Drive Home
|
WebDAV Guide
|
Drive Mapping Tool
|
Drive Mapping URL
Complete Data Backup
Backup Guide
|
Online Backup Tool
|
Cloud-to-Cloud Backup
FTP, Email & Web Service
FTP Home
|
FTP Hosting FAQ
|
Email Hosting
|
EmailManager
|
Web Hosting
Help & Resources
About
|
Enterprise Service
|
Partnership
|
Comparisons
|
Support
Quick Links
Security and Privacy
Download Software
Service Manual
Use Cases
Group Account
Online Help
Blog
Contact
Cloud Surveillance
Sign Up
Login
Features
Business Features
Online File Server
FTP Hosting
Cloud Drive Mapping
Cloud File Backup
Email Backup & Hosting
Cloud File Sharing
Folder Synchronization
Group Management
True Drop Box
Full-text Search
AD Integration/SSO
Mobile Access
IP Camera & DVR Solution
More...
Personal Features
Personal Cloud Drive
Backup All Devices
Mobile APPs
Personal Web Hosting
Sub-Account (for Kids)
Home/PC/Kids Monitoring
More...
Software
DriveHQ Drive Mapping Tool
DriveHQ FileManager
DriveHQ Online Backup
DriveHQ Mobile Apps
Pricing
Business Plans & Pricing
Personal Plans & Pricing
Price Comparison with Others
Feature Comparison with Others
Install Mobile App
Sign up
Creating account...
Invalid character in username! Only 0-9, a-z, A-Z, _, -, . allowed.
Username is required!
Invalid email address!
E-mail is required!
Password is required!
Password is invalid!
Password and confirmation do not match.
Confirm password is required!
I accept
Membership Agreement
Please read the Membership Agreement and check "I accept"!
Free Quick Sign-up
Sign-up Page
Log in
Signing in...
Username or e-mail address is required!
Password is required!
Keep me logged in
Quick Login
Forgot Password
Up
Upload
Download
Share
Publish
New Folder
New File
Copy
Cut
Delete
Paste
Rate
Upgrade
Rotate
Effect
Edit
Slide
History
/* boost random/geometric_distribution.hpp header file * * Copyright Jens Maurer 2000-2001 * 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) * * See http://www.boost.org for most recent version including documentation. * * $Id: geometric_distribution.hpp 41369 2007-11-25 18:07:19Z bemandawes $ * * Revision history * 2001-02-18 moved to individual header files */ #ifndef BOOST_RANDOM_GEOMETRIC_DISTRIBUTION_HPP #define BOOST_RANDOM_GEOMETRIC_DISTRIBUTION_HPP #include
// std::log #include
#include
#include
namespace boost { #if defined(__GNUC__) && (__GNUC__ < 3) // Special gcc workaround: gcc 2.95.x ignores using-declarations // in template classes (confirmed by gcc author Martin v. Loewis) using std::log; #endif // geometric distribution: p(i) = (1-p) * pow(p, i-1) (integer) template
class geometric_distribution { public: typedef RealType input_type; typedef IntType result_type; explicit geometric_distribution(const RealType& p_arg = RealType(0.5)) : _p(p_arg) { assert(RealType(0) < _p && _p < RealType(1)); init(); } // compiler-generated copy ctor and assignment operator are fine RealType p() const { return _p; } void reset() { } template
result_type operator()(Engine& eng) { #ifndef BOOST_NO_STDC_NAMESPACE using std::log; using std::floor; #endif return IntType(floor(log(RealType(1)-eng()) / _log_p)) + IntType(1); } #if !defined(BOOST_NO_OPERATORS_IN_NAMESPACE) && !defined(BOOST_NO_MEMBER_TEMPLATE_FRIENDS) template
friend std::basic_ostream
& operator<<(std::basic_ostream
& os, const geometric_distribution& gd) { os << gd._p; return os; } template
friend std::basic_istream
& operator>>(std::basic_istream
& is, geometric_distribution& gd) { is >> std::ws >> gd._p; gd.init(); return is; } #endif private: void init() { #ifndef BOOST_NO_STDC_NAMESPACE using std::log; #endif _log_p = log(_p); } RealType _p; RealType _log_p; }; } // namespace boost #endif // BOOST_RANDOM_GEOMETRIC_DISTRIBUTION_HPP
geometric_distribution.hpp
Page URL
File URL
Prev
8/28
Next
Download
( 2 KB )
Note: The DriveHQ service banners will NOT be displayed if the file owner is a paid member.
Comments
Total ratings:
0
Average rating:
Not Rated
Would you like to comment?
Join DriveHQ
for a free account, or
Logon
if you are already a member.