Searched refs:rand_engine_ (Results 1 – 1 of 1) sorted by relevance
228 std::default_random_engine rand_engine_; variable396 rand_engine_.seed(device()); in AdaptiveSharedBatchScheduler()470 rand_double_(rand_engine_) > in MaybeScheduleNextBatch()