Searched refs:SuccLevel (Results 1 – 2 of 2) sorted by relevance
73 const unsigned SuccLevel = SuccNode->getLevel(); in calculate() local74 if (SuccLevel > RootLevel) in calculate()87 SuccNode, std::make_pair(SuccLevel, SuccNode->getDFSNumIn()))); in calculate()
795 const unsigned SuccLevel = SuccTN->getLevel(); in VisitInsertion() local798 << ", level = " << SuccLevel << "\n"); in VisitInsertion()806 if (SuccLevel > RootLevel) { in VisitInsertion()824 } else if ((SuccLevel > NCDLevel + 1) && in VisitInsertion()829 II.Bucket.push({SuccLevel, SuccTN}); in VisitInsertion()