cprover
string_utils.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Poetzl
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_STRING_UTILS_H
11 #define CPROVER_UTIL_STRING_UTILS_H
12 
13 #include <string>
14 #include <vector>
15 
16 std::string strip_string(const std::string &s);
17 
18 void split_string(
19  const std::string &s,
20  char delim, // must not be a whitespace character
21  std::vector<std::string> &result,
22  bool strip=false, // strip whitespace from elements
23  bool remove_empty=false); // remove empty elements
24 
25 void split_string(
26  const std::string &s,
27  char delim,
28  std::string &left,
29  std::string &right,
30  bool strip=false);
31 
32 #endif
void split_string(const std::string &s, char delim, std::vector< std::string > &result, bool strip=false, bool remove_empty=false)
std::string strip_string(const std::string &s)