cprover
Loading...
Searching...
No Matches
diagnostics_helpert< char[N]> Struct Template Reference

#include <invariant.h>

+ Inheritance diagram for diagnostics_helpert< char[N]>:
+ Collaboration diagram for diagnostics_helpert< char[N]>:

Static Public Member Functions

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

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() [1/2]

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

◆ diagnostics_as_string() [2/2]

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: