|
cprover
|
Go to the source code of this file.
Functions | |
| void | substitute (std::string &dest, const std::string &what, const std::string &by) |
| void substitute | ( | std::string & | dest, |
| const std::string & | what, | ||
| const std::string & | by | ||
| ) |
Definition at line 13 of file substitute.cpp.
References pos(), and size_type().