cprover
diagnostics_helpert< irep_pretty_diagnosticst > Struct Template Reference

#include <irep.h>

Static Public Member Functions

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

Detailed Description

template<>
struct diagnostics_helpert< irep_pretty_diagnosticst >

Definition at line 473 of file irep.h.

Member Function Documentation

◆ diagnostics_as_string()

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

Definition at line 475 of file irep.h.


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