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