cprover
Loading...
Searching...
No Matches
diagnostics_helpert< irep_pretty_diagnosticst > Struct Reference

#include <irep.h>

+ Inheritance diagram for diagnostics_helpert< irep_pretty_diagnosticst >:
+ Collaboration diagram for diagnostics_helpert< irep_pretty_diagnosticst >:

Static Public Member Functions

static std::string diagnostics_as_string (const irep_pretty_diagnosticst &irep)
 
static std::string diagnostics_as_string (const irep_pretty_diagnosticst &)
 

Detailed Description

Definition at line 501 of file irep.h.

Member Function Documentation

◆ diagnostics_as_string() [1/2]

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

◆ diagnostics_as_string() [2/2]

static std::string diagnostics_helpert< irep_pretty_diagnosticst >::diagnostics_as_string ( const irep_pretty_diagnosticst & irep)
inlinestatic

Definition at line 503 of file irep.h.


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