Searched refs:RedKey (Results 1 – 1 of 1) sorted by relevance
1341 EqClassReducedKey RedKey{std::get<1>(Key), std::get<2>(Key), in mergeEquivalenceClasses() local1343 auto &UOMap = RedKeyToUOMap[RedKey]; in mergeEquivalenceClasses()1396 for (auto &[RedKey, UObjects] : RedKeyToUOMap) { in mergeEquivalenceClasses()1404 EqClassKey KeyFrom{UObject, std::get<0>(RedKey), std::get<1>(RedKey), in mergeEquivalenceClasses()1405 std::get<2>(RedKey)}; in mergeEquivalenceClasses()1406 EqClassKey KeyTo{UltimateTarget, std::get<0>(RedKey), std::get<1>(RedKey), in mergeEquivalenceClasses()1407 std::get<2>(RedKey)}; in mergeEquivalenceClasses()