Searched refs:random_task_selection_seed (Results 1 – 8 of 8) sorted by relevance
134 int random_task_selection_seed = 0; member306 Builder& SetRandomTaskSelectionSeed(int random_task_selection_seed);
104 settings_.random_task_selection_seed = random_task_selection_seed_val; in SetRandomTaskSelectionSeed()
26 random_task_selection_(settings.random_task_selection_seed != 0), in TaskQueueSelector()
18 last_rand_(settings.random_task_selection_seed), in WorkQueueSets()
131 int random_task_selection_seed = 0; member305 Builder& SetRandomTaskSelectionSeed(int random_task_selection_seed);