|
CBMC
|
Container for C-Strings. More...
Include dependency graph for dstring.cpp: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.