Searched refs:EdgeToFold (Results 1 – 1 of 1) sorted by relevance
281 DDGEdge &EdgeToFold = A.back(); in mergeNodes() local282 assert(A.getEdges().size() == 1 && EdgeToFold.getTargetNode() == B && in mergeNodes()294 A.removeEdge(EdgeToFold); in mergeNodes()295 destroyEdge(EdgeToFold); in mergeNodes()