15 const std::string &what,
16 const std::string &by)
18 assert(!what.empty());
24 if(
pos==std::string::npos)
27 dest.replace(dest.begin()+
pos,
28 dest.begin()+
pos+what.size(),
unsignedbv_typet size_type()
void substitute(std::string &dest, const std::string &what, const std::string &by)