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