storm::utility::BernoulliDistributionGenerator Class Reference

#include <random.h>

Public Member Functions
	BernoulliDistributionGenerator (double prob)
bool	random (boost::mt19937 &engine)

Detailed Description

Definition at line 44 of file random.h.

Constructor & Destructor Documentation

BernoulliDistributionGenerator()

storm::utility::BernoulliDistributionGenerator::BernoulliDistributionGenerator

(

double

prob

)

Definition at line 37 of file random.cpp.

Member Function Documentation

random()

bool storm::utility::BernoulliDistributionGenerator::random

(

boost::mt19937 &

engine

)

Definition at line 39 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