| 134 | } |
| 135 | |
| 136 | void CloneImpl(const Expr& expr, Expr& dst) { |
| 137 | std::vector<CopyStackRecord> stack; |
| 138 | stack.push_back({&expr, &dst}); |
| 139 | while (!stack.empty()) { |
| 140 | CopyStackRecord element = stack.back(); |
| 141 | stack.pop_back(); |
| 142 | CopyNode(element, stack); |
| 143 | } |
| 144 | } |
| 145 | |
| 146 | } // namespace |
| 147 |