CBMC
|
#include <iosfwd>
#include <string>
#include "invariant.h"
#include "magic.h"
#include "string_container.h"
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) |
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 More... | |
Container for C-Strings
Definition in file dstring.h.
dstringt get_dstring_number | ( | std::size_t | ) |
Definition at line 19 of file dstring.cpp.
|
inline |
|
inlinestatic |
equivalent to dstringt(std::to_string(value)), i.e., produces a string from a number