cprover
diagnostics_helpert< char * > Struct Template Reference

#include <invariant.h>

Static Public Member Functions

static std::string diagnostics_as_string (const char *string)
 

Detailed Description

template<>
struct diagnostics_helpert< char * >

Definition at line 321 of file invariant.h.

Member Function Documentation

◆ diagnostics_as_string()

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

Definition at line 323 of file invariant.h.


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