| 498 | }; |
| 499 | |
| 500 | void replace_all(std::string& str, const std::string& oldStr, |
| 501 | const std::string& newStr) { |
| 502 | std::string::size_type pos = 0u; |
| 503 | while ((pos = str.find(oldStr, pos)) != std::string::npos) { |
| 504 | str.replace(pos, oldStr.length(), newStr); |
| 505 | pos += newStr.length(); |
| 506 | } |
| 507 | } |
| 508 | |
| 509 | std::string concat_dim4(dim4 d) { |
| 510 | std::stringstream ss; |