Lines Matching refs:Height
1932 << " Height=" << RootHeights[N] << "): ");
2068 int Height = std::max(NodeHeights[Mul1.Value], NodeHeights[Mul2.Value]) + 1;
2077 NodeHeights[New] = Height;
2131 int Height = std::max(NodeHeights[GA.Value], NodeHeights[SHL.Value]) + 1;
2136 NodeHeights[GA.Value] = Height;
2190 int Height = std::max(NodeHeights[V0], NodeHeights[V1]) + 1;
2202 NodeHeights[NewNode] = Height;
2208 << ",Height=" << Height << "):\n");
2216 int Height = NodeHeights[NewRoot];
2245 RootHeights[NewRoot.getNode()] = Height;