From bb30d42b57c19bb188a39fe7419326c6d6fea5e0 Mon Sep 17 00:00:00 2001 From: Felipe Zimmerle Date: Thu, 5 Nov 2015 14:16:26 -0300 Subject: [PATCH] Speed up the random number generation --- src/utils.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/utils.cc b/src/utils.cc index 1f43e7ec..ad857cf7 100644 --- a/src/utils.cc +++ b/src/utils.cc @@ -87,10 +87,10 @@ std::vector split(std::string str, char delimiter) { double random_number(const double from, const double to) { - std::random_device rd; + std::mt19937 mt(time(0)); return std::bind( std::uniform_real_distribution<>{from, to}, - std::default_random_engine{ rd() })(); + std::default_random_engine{ mt() })(); }