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()
799 const unsigned SuccLevel = SuccTN->getLevel(); in InsertReachable() local802 << ", level = " << SuccLevel << "\n"); in InsertReachable()811 if (SuccLevel <= NCDLevel + 1 || !II.Visited.insert(SuccTN).second) in InsertReachable()814 if (SuccLevel > CurrentLevel) { in InsertReachable()