| 598 | }; |
| 599 | |
| 600 | void replace_all(std::string &str, const std::string &oldStr, |
| 601 | const std::string &newStr) { |
| 602 | std::string::size_type pos = 0u; |
| 603 | while ((pos = str.find(oldStr, pos)) != std::string::npos) { |
| 604 | str.replace(pos, oldStr.length(), newStr); |
| 605 | pos += newStr.length(); |
| 606 | } |
| 607 | } |
| 608 | |
| 609 | std::string concat_dim4(dim4 d) { |
| 610 | std::stringstream ss; |