reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
731 void push(NodeId id) { List.push(id); } 739 Result.push_back(List.top()); 740 List.pop(); 747 if (List.empty()) 749 return Tree.getNode(List.top()).Height;