diagnostics_helpert< char[N]> Struct Template Reference

#include <invariant.h>

Static Public Member Functions
static std::string	diagnostics_as_string (const char(&string)[N])

Detailed Description

template<std::size_t N>
struct diagnostics_helpert< char[N]>

Definition at line 312 of file invariant.h.

Member Function Documentation

diagnostics_as_string()

template<std::size_t N>

static std::string diagnostics_helpert< char[N]>::diagnostics_as_string ( const char(&)  string[N] )

inlinestatic

Definition at line 314 of file invariant.h.

---

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

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