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