Lines Matching defs:Height

2082                       << " Height=" << RootHeights[N] << "): ");
2218     int Height = std::max(NodeHeights[Mul1.Value], NodeHeights[Mul2.Value]) + 1;
2227     NodeHeights[New] = Height;
2281       int Height = std::max(NodeHeights[GA.Value], NodeHeights[SHL.Value]) + 1;
2286       NodeHeights[GA.Value] = Height;
2340     int Height = std::max(NodeHeights[V0], NodeHeights[V1]) + 1;
2352     NodeHeights[NewNode] = Height;
2358                       << ",Height=" << Height << "):\n");
2366   int Height = NodeHeights[NewRoot];
2395   RootHeights[NewRoot.getNode()] = Height;