cprover
|
#include <string>
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().