Program Listing for File rand_distributions.cpp

↰ Return to documentation for file (src/rand_distributions.cpp)

#include <cstdlib>

#include "rand_distributions.h"

// Satisfy the linker by initializing the static variables
SolverConfiguration * Random::master_config_;
std::random_device Random::rd_;     // only used once to initialise (seed) engine
std::mt19937 Random::rng_;    // random-number engine used (Mersenne-Twister in this case)
std::uniform_int_distribution<int> Random::uni_(INT_MIN, INT_MAX);

bool Random::Mpz::use_approx_binom_ = true;
gmp_randstate_t Random::Mpz::rand_state_;