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