CBMC
Loading...
Searching...
No Matches
Functions
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.

AltStyle によって変換されたページ (->オリジナル) /