Searched refs:representative_list (Results 1 – 1 of 1) sorted by relevance
1249 auto& representative_list = implications_[representative]; in DetectEquivalences() local1250 for (Literal& ref : representative_list) { in DetectEquivalences()1256 gtl::STLSortAndRemoveDuplicates(&representative_list); in DetectEquivalences()1280 auto& representative_list = implications_[representative]; in DetectEquivalences() local1282 for (const Literal l : representative_list) { in DetectEquivalences()1285 representative_list[new_size++] = rep; in DetectEquivalences()1287 representative_list.resize(new_size); in DetectEquivalences()1293 if (rep.Index() != representative) representative_list.push_back(rep); in DetectEquivalences()1301 representative_list.push_back(literal); in DetectEquivalences()1305 gtl::STLSortAndRemoveDuplicates(&representative_list); in DetectEquivalences()