Searched refs:shuffle_rnd (Results 1 – 1 of 1) sorted by relevance
118 std::mt19937_64 shuffle_rnd( in MainLoop() local120 std::shuffle(filenames.begin(), filenames.end(), shuffle_rnd); in MainLoop()