CBMC
Public Member Functions | Public Attributes | List of all members
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 irept & irep
 

Detailed Description

Definition at line 490 of file irep.h.

Constructor & Destructor Documentation

◆ irep_pretty_diagnosticst()

irep_pretty_diagnosticst::irep_pretty_diagnosticst ( const irept &  irep)
explicit

Definition at line 523 of file irep.cpp.

Member Data Documentation

◆ irep

const irept& irep_pretty_diagnosticst::irep

Definition at line 492 of file irep.h.

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