Searched refs:BestHeight (Results 1 – 1 of 1) sorted by relevance
254 unsigned BestHeight = 0; in pickTraceSucc() local271 if (!Best || Height < BestHeight) in pickTraceSucc()272 Best = Succ, BestHeight = Height; in pickTraceSucc()