storm::utility::RandomProbabilityGenerator< ValueType > Class Template Reference

#include <random.h>

Public Member Functions
	RandomProbabilityGenerator ()
	RandomProbabilityGenerator (uint64_t seed)
ValueType	random () const
uint64_t	random_uint (uint64_t min, uint64_t max)

Detailed Description

template<typename ValueType>
class storm::utility::RandomProbabilityGenerator< ValueType >

Definition at line 10 of file random.h.

Constructor & Destructor Documentation

RandomProbabilityGenerator() [1/2]

template<typename ValueType >

storm::utility::RandomProbabilityGenerator< ValueType >::RandomProbabilityGenerator

(

)

Definition at line 22 of file random.cpp.

RandomProbabilityGenerator() [2/2]

template<typename ValueType >

storm::utility::RandomProbabilityGenerator< ValueType >::RandomProbabilityGenerator

(

uint64_t

seed

)

Definition at line 27 of file random.cpp.

Member Function Documentation

random()

template<typename ValueType >

RationalNumber storm::utility::RandomProbabilityGenerator< ValueType >::random

(

)

const

Definition at line 29 of file random.cpp.

random_uint()

template<typename ValueType >

uint64_t storm::utility::RandomProbabilityGenerator< ValueType >::random_uint	(	uint64_t	min,
		uint64_t	max
	)

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