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