CBMC
dstring.cpp File Reference

Container for C-Strings. More...

#include "dstring.h"
#include <ostream>
+ Include dependency graph for dstring.cpp:

Go to the source code of this file.

Functions

dstringt get_dstring_number (std::size_t value)
 

Detailed Description

Container for C-Strings.

Definition in file dstring.cpp.

Function Documentation

◆ get_dstring_number()

dstringt get_dstring_number ( std::size_t  value)

Definition at line 21 of file dstring.cpp.