Go to the documentation of this file.
12 #ifndef CPROVER_UTIL_STRING_CONTAINER_H
13 #define CPROVER_UTIL_STRING_CONTAINER_H
16 #include <unordered_map>
65 const char *
c_str(
size_t no)
const
78 typedef std::unordered_map<string_ptrt, unsigned, string_ptr_hash>
82 unsigned get(
const char *s);
83 unsigned get(
const std::string &s);
99 #endif // CPROVER_UTIL_STRING_CONTAINER_H
const std::string & get_string(size_t no) const
std::vector< std::string * > string_vectort
string_vectort string_vector
string_ptrt(const std::string &_s)
size_t operator()(const string_ptrt s) const
std::unordered_map< string_ptrt, unsigned, string_ptr_hash > hash_tablet
string_ptrt(const char *_s)
bool operator==(const string_ptrt &other) const
size_t hash_string(const dstringt &s)
unsigned operator[](const std::string &s)
const char * c_str(size_t no) const
std::list< std::string > string_listt
const char * c_str() const
unsigned get(const char *s)
unsigned operator[](const char *s)
string_containert & get_string_container()
Get a reference to the global string container.