Searched refs:ordered_tasks (Results 1 – 1 of 1) sorted by relevance
432 std::set<string> ordered_tasks; in EstablishGlobalRank() local436 if (ordered_tasks.find(task_name) != ordered_tasks.end()) { in EstablishGlobalRank()439 ordered_tasks.insert(task_name); in EstablishGlobalRank()