Searched refs:term_history_id_set (Results 1 – 1 of 1) sorted by relevance
416 HistoryIDSet term_history_id_set = in HistoryIDSetFromWords() local419 history_id_set.swap(term_history_id_set); in HistoryIDSetFromWords()426 term_history_id_set.begin(), in HistoryIDSetFromWords()427 term_history_id_set.end(), in HistoryIDSetFromWords()