Searched refs:SuccLevel (Results 1 – 2 of 2) sorted by relevance
179 const unsigned SuccLevel = SuccNode->getLevel(); in calculate() local180 if (SuccLevel > RootLevel) in calculate()193 SuccNode, std::make_pair(SuccLevel, SuccNode->getDFSNumIn()))); in calculate()
803 const unsigned SuccLevel = SuccTN->getLevel(); in InsertReachable() local806 << ", level = " << SuccLevel << "\n"); in InsertReachable()815 if (SuccLevel <= NCDLevel + 1 || !II.Visited.insert(SuccTN).second) in InsertReachable()818 if (SuccLevel > CurrentLevel) { in InsertReachable()