Searched refs:SuccTN (Results 1 – 1 of 1) sorted by relevance
792 const TreeNodePtr SuccTN = DT.getNode(Succ); in VisitInsertion() local793 assert(SuccTN && "Unreachable successor found at reachable insertion"); in VisitInsertion()794 const unsigned SuccLevel = SuccTN->getLevel(); in VisitInsertion()807 if (II.Visited.count(SuccTN) != 0) { in VisitInsertion()809 << II.Visited[SuccTN] << "\n\t\t\tcurrent level " in VisitInsertion()814 if (II.Visited[SuccTN] >= RootLevel) in VisitInsertion()820 II.Visited.insert({SuccTN, RootLevel}); in VisitInsertion()821 II.VisitedNotAffectedQueue.push_back(SuccTN); in VisitInsertion()822 Stack.push_back(SuccTN); in VisitInsertion()824 II.Affected.count(SuccTN) == 0) { in VisitInsertion()[all …]