CBMC
|
Container for C-Strings. More...
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.