14 #ifndef RANDOMNUMBER_MANAGER_INCLUDED 
   15 #define RANDOMNUMBER_MANAGER_INCLUDED 
   71   static bool initialize(
const std::string& rng_type, 
unsigned long seed);
 
   74   static void reset(
unsigned long seed);
 
   77   static void save_state(
const std::string& filename);
 
RandomNumberManager & operator=(const RandomNumberManager &)
 
static RandomNumbers * getInstance()
 
static const std::string class_name
 
static void save_state(const std::string &filename)
 
Bridge::VerboseLevel m_vl
 
static bool initialize(const std::string &rng_type, unsigned long seed)
 
static RandomNumbers * factory(const std::string &rng_type, unsigned long seed)
 
static void restore_state(const std::string &filename)
 
virtual ~RandomNumberManager()
 
Common parameter class: provides parameters as singleton. 
 
static RandomNumbers * s_rand
 
static void reset(unsigned long seed)
 
Manager class for RandomNumbers. 
 
Base class of random number generators. 
 
static RandomNumbers * New(const std::string &rng_type, unsigned long seed)
 
void set_parameter_verboselevel(const Bridge::VerboseLevel vl)