Searched refs:reachedCloseMerge (Results 1 – 2 of 2) sorted by relevance
94 auto closePoint = reachedCloseMerge.find(mp); in addClosedState()98 if (closePoint == reachedCloseMerge.end()) { in addClosedState()99 reachedCloseMerge[mp].push_back(es); in addClosedState()123 for (auto& curMergeGroup: reachedCloseMerge) { in releaseStates()129 reachedCloseMerge.clear(); in releaseStates()133 return (!reachedCloseMerge.empty()); in hasMergedStates()
121 reachedCloseMerge; variable