cprover
substitute.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_UTIL_SUBSTITUTE_H
11
#define CPROVER_UTIL_SUBSTITUTE_H
12
13
#include <string>
14
15
void
substitute
(
16
std::string &dest,
17
const
std::string &what,
18
const
std::string &by);
19
20
#endif // CPROVER_UTIL_SUBSTITUTE_H
substitute
void substitute(std::string &dest, const std::string &what, const std::string &by)
Definition:
substitute.cpp:13
util
substitute.h
Generated by
1.8.12