Searched defs:BestDepth (Results 1 – 2 of 2) sorted by relevance
349 unsigned BestDepth = 0; in pickTracePred() local
916 unsigned BestDepth = std::numeric_limits<unsigned>::max(); in findShallowDominator() local