|
cprover
|
Container for C-Strings. More...
Include dependency graph for dstring.h:
This graph shows which files directly or indirectly include this file: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.