Function init_data_seq_random

src/utils/random_number_generators.cpp:204–216

}

void init_data_seq_random(int seed)
{
  if (seed == -1) {
    // Seed with a random value.
    std::random_device rd;
    seed = rd();
  }

  ::data_seq_generator_seed_base = seed;
  ::data_seq_generator_seed_inited = true;
  /// Reset the init flag so that generator will reinitialize
  ::data_seq_generator_inited = false;
}

void init_ltfb_random(int seed)
{