CBMC
irep_pretty_diagnosticst Struct Reference

#include <irep.h>

+ Collaboration diagram for irep_pretty_diagnosticst:

Public Member Functions

 irep_pretty_diagnosticst (const irept &irep)
 

Public Attributes

const ireptirep
 

Detailed Description

Definition at line 502 of file irep.h.

Constructor & Destructor Documentation

◆ irep_pretty_diagnosticst()

irep_pretty_diagnosticst::irep_pretty_diagnosticst ( const irept irep)
explicit

Definition at line 535 of file irep.cpp.

Member Data Documentation

◆ irep

const irept& irep_pretty_diagnosticst::irep

Definition at line 504 of file irep.h.


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