Searched refs:rootReached (Results 1 – 1 of 1) sorted by relevance
1276 bool rootReached = false; in propagateDecrease() local1278 while ( ! treeBalanced && ! rootReached) in propagateDecrease()1335 rootReached = true; in propagateDecrease()