CBMC
|
Container for C-Strings. More...
Go to the source code of this file.
Functions | |
dstringt | get_dstring_number (std::size_t value) |
Container for C-Strings.
Definition in file dstring.cpp.
dstringt get_dstring_number | ( | std::size_t | value | ) |
Definition at line 21 of file dstring.cpp.