Searched refs:BestHeight (Results 1 – 1 of 1) sorted by relevance
346 unsigned BestHeight = 0; in pickTraceSucc() local361 if (!Best || Height < BestHeight) { in pickTraceSucc()363 BestHeight = Height; in pickTraceSucc()