Searched refs:oldUnvisitedCount (Results 1 – 1 of 1) sorted by relevance
708 unsigned oldUnvisitedCount = Unvisited.size(); in repair() local741 if (oldUnvisitedCount > Unvisited.size()) continue; in repair()767 if (oldUnvisitedCount > Unvisited.size()) continue; in repair()