cprover
|
Go to the source code of this file.
Classes | |
class | dstringt |
dstringt has one field, an unsigned integer no which is an index into a static table of strings. More... | |
struct | dstring_hash |
struct | std::hash< dstringt > |
Default hash function of dstringt for use with STL containers. More... | |
struct | diagnostics_helpert< dstringt > |
Functions | |
const std::string & | as_string (const dstringt &s) |
size_t | hash_string (const dstringt &s) |
std::ostream & | operator<< (std::ostream &out, const dstringt &a) |
Container for C-Strings
Definition in file dstring.h.