Searched refs:SuccLevel (Results 1 – 1 of 1) sorted by relevance
73 unsigned SuccLevel = DomLevels.lookup(SuccNode); in calculate() local74 if (SuccLevel > RootLevel) in calculate()86 PQ.push(std::make_pair(SuccNode, SuccLevel)); in calculate()