Searched refs:SuccLevel (Results 1 – 2 of 2) sorted by relevance
183 const unsigned SuccLevel = SuccNode->getLevel(); in calculate() local184 if (SuccLevel > RootLevel) in calculate()197 SuccNode, std::make_pair(SuccLevel, SuccNode->getDFSNumIn()))); in calculate()
797 const unsigned SuccLevel = SuccTN->getLevel(); in InsertReachable() local800 << ", level = " << SuccLevel << "\n"); in InsertReachable()809 if (SuccLevel <= NCDLevel + 1 || !II.Visited.insert(SuccTN).second) in InsertReachable()812 if (SuccLevel > CurrentLevel) { in InsertReachable()