Searched refs:SuccLevel (Results 1 – 4 of 4) sorted by relevance
72 const unsigned SuccLevel = SuccNode->getLevel(); in calculate() local73 if (SuccLevel > RootLevel) in calculate()86 SuccNode, std::make_pair(SuccLevel, SuccNode->getDFSNumIn()))); in calculate()
78 unsigned SuccLevel = DomLevels.lookup(SuccNode); in calculate() local79 if (SuccLevel > RootLevel) in calculate()91 PQ.push(std::make_pair(SuccNode, SuccLevel)); in calculate()
794 const unsigned SuccLevel = SuccTN->getLevel(); in VisitInsertion() local797 << ", level = " << SuccLevel << "\n"); in VisitInsertion()805 if (SuccLevel > RootLevel) { in VisitInsertion()823 } else if ((SuccLevel > NCDLevel + 1) && in VisitInsertion()828 II.Bucket.push({SuccLevel, SuccTN}); in VisitInsertion()
796 unsigned SuccLevel = DomLevels[SuccNode]; in DetermineInsertionPoint() local797 if (SuccLevel > RootLevel) in DetermineInsertionPoint()809 PQ.push(std::make_pair(SuccNode, SuccLevel)); in DetermineInsertionPoint()