|
CBMC
|
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 > |
Namespaces | |
| namespace | std |
| STL namespace. | |
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) |
| dstringt | get_dstring_number (std::size_t) |
| template<typename T > | |
| static std::enable_if< std::is_integral< T >::value, dstringt >::type | to_dstring (T value) |
| equivalent to dstringt(std::to_string(value)), i.e., produces a string from a number | |
Container for C-Strings.
Definition in file dstring.h.
| dstringt get_dstring_number | ( | std::size_t | value | ) |
Definition at line 21 of file dstring.cpp.