reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2336 Height = closestSucc(Succ.getSUnit())+1; 2337 if (Height > MaxHeight) 2338 MaxHeight = Height;