Lines Matching refs:fid2
81 const Id fid2 = Find(id2); in Query() local
82 if (fid1 == fid2) { in Query()
88 auto not_it2 = not_it->second.find(fid2); in Query()
151 Id fid2 = Find(id2); in Union() local
152 if (fid1 == fid2) { in Union()
157 size_t rank2 = GetRank(fid2); in Union()
159 std::swap(fid1, fid2); in Union()
165 SetRank(fid2, rank2 + 1); in Union()
172 mapping.insert({fid1, fid2}); in Union()
179 auto& target = inequalities[fid2]; in Union()
181 Check(fid != fid2) << "union of unequal"; in Union()
185 target2.insert(fid2); in Union()
196 const Id fid2 = Find(id2); in Disunion() local
197 Check(fid1 != fid2) << "disunion of equal"; in Disunion()
198 if (inequalities[fid1].insert(fid2).second) { in Disunion()
199 inequalities[fid2].insert(fid1); in Disunion()