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 67 return string_vector[no]->c_str();
73 return *string_vector[no];
78 typedef std::unordered_map<string_ptrt, unsigned, string_ptr_hash>
82 unsigned get(
const char *
s);
83 unsigned get(
const std::string &
s);
95 #endif // CPROVER_UTIL_STRING_CONTAINER_H
string_containert string_container
const char * c_str(size_t no) const
string_ptrt(const char *_s)
unsigned operator[](const char *s)
unsigned operator[](const std::string &s)
string_ptrt(const std::string &_s)
size_t operator()(const string_ptrt s) const
string_vectort string_vector
std::unordered_map< string_ptrt, unsigned, string_ptr_hash > hash_tablet
bool operator==(const string_ptrt &other) const
const char * c_str() const
size_t hash_string(const dstringt &s)
std::vector< std::string * > string_vectort
std::list< std::string > string_listt
const std::string & get_string(size_t no) const