Searched refs:SuccTN (Results 1 – 1 of 1) sorted by relevance
800 const TreeNodePtr SuccTN = DT.getNode(Succ); in InsertReachable() local801 assert(SuccTN && in InsertReachable()803 const unsigned SuccLevel = SuccTN->getLevel(); in InsertReachable()815 if (SuccLevel <= NCDLevel + 1 || !II.Visited.insert(SuccTN).second) in InsertReachable()823 UnaffectedOnCurrentLevel.push_back(SuccTN); in InsertReachable()825 II.VisitedUnaffected.push_back(SuccTN); in InsertReachable()832 II.Bucket.push(SuccTN); in InsertReachable()