storm::utility::ExponentialDistributionGenerator Class Reference

#include <random.h>

Public Member Functions
	ExponentialDistributionGenerator (double rate)
double	random (boost::mt19937 &engine)

Detailed Description

Definition at line 53 of file random.h.

Constructor & Destructor Documentation

ExponentialDistributionGenerator()

storm::utility::ExponentialDistributionGenerator::ExponentialDistributionGenerator

(

double

rate

)

Definition at line 43 of file random.cpp.

Member Function Documentation

random()

double storm::utility::ExponentialDistributionGenerator::random

(

boost::mt19937 &

engine

)

Definition at line 45 of file random.cpp.

---

The documentation for this class was generated from the following files:

• src/storm/utility/random.h
• src/storm/utility/random.cpp