Searched refs:random_dev (Results 1 – 1 of 1) sorted by relevance
934 std::random_device random_dev; in Init() local935 shuffle_seed_ = dist(random_dev); in Init()