Line data    Source code

       1             : #include "random_variable.hpp"
       2             : 
       3         181 : RandomVariable::RandomVariable() {
       4         181 :   this->generator = std::mt19937(1234567);
       5         181 :   this->parameter1 = 10;
       6         181 :   this->dist =
       7         362 :       std::uniform_real_distribution<double>(0, std::nextafter(1.0, 1.1));
       8         181 : }
       9             : 
      10          38 : RandomVariable::RandomVariable(unsigned int seed, double parameter1) {
      11          38 :   this->generator = std::mt19937(seed);
      12          38 :   this->parameter1 = parameter1;
      13          38 :   this->dist =
      14          76 :       std::uniform_real_distribution<double>(0, std::nextafter(1.0, 1.1));
      15          38 : }