Searched refs:diff_from_todo (Results 1 – 1 of 1) sorted by relevance
270 std::set<size_t> diff_from_todo; in AddKernels() local276 std::inserter(diff_from_todo, diff_from_todo.begin())); in AddKernels()277 …(void)std::set_difference(diff_from_todo.begin(), diff_from_todo.end(), doing_list.begin(), doing_… in AddKernels()