return z0 * sd + mean;
}
-static std::unique_ptr<Random> default_random(new XbtRandom);
+static std::unique_ptr<Random> default_random = std::make_unique<XbtRandom>();
void set_implem_xbt()
{
- default_random.reset(new XbtRandom);
+ default_random = std::make_unique<XbtRandom>();
}
void set_implem_std()
{
- default_random.reset(new StdRandom);
+ default_random = std::make_unique<StdRandom>();
}
void set_mersenne_seed(int seed)