Searched refs:RootLevel (Results 1 – 2 of 2) sorted by relevance
49 unsigned RootLevel = RootPair.second.first; in calculate() local74 if (SuccLevel > RootLevel) in calculate()
776 const TreeNodePtr TN, const unsigned RootLevel, in VisitInsertion()780 << RootLevel << "\n"); in VisitInsertion()806 if (SuccLevel > RootLevel) { in VisitInsertion()811 << RootLevel << ")\n"); in VisitInsertion()815 if (II.Visited[SuccTN] >= RootLevel) in VisitInsertion()821 II.Visited.insert({SuccTN, RootLevel}); in VisitInsertion()