diagnostics_helpert< dstringt > Struct Reference

#include <dstring.h>

Static Public Member Functions
static std::string	diagnostics_as_string (const dstringt &dstring)

Detailed Description

Definition at line 252 of file dstring.h.

Member Function Documentation

diagnostics_as_string()

static std::string diagnostics_helpert< dstringt >::diagnostics_as_string ( const dstringt &  dstring )

inlinestatic

Definition at line 254 of file dstring.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/util/dstring.h