CBMC
Public Member Functions | Public Attributes | List of all members
dump_ct::typedef_infot Struct Reference

#include <dump_c_class.h>

+ Collaboration diagram for dump_ct::typedef_infot:

Public Member Functions

 typedef_infot (const irep_idt &name)
 

Public Attributes

irep_idt typedef_name
 
std::string type_decl_str
 
bool early
 
std::unordered_set< irep_idt > dependencies
 

Detailed Description

Definition at line 173 of file dump_c_class.h.

Constructor & Destructor Documentation

◆ typedef_infot()

dump_ct::typedef_infot::typedef_infot ( const irep_idt &  name)
inlineexplicit

Definition at line 180 of file dump_c_class.h.

Member Data Documentation

◆ dependencies

std::unordered_set<irep_idt> dump_ct::typedef_infot::dependencies

Definition at line 178 of file dump_c_class.h.

◆ early

bool dump_ct::typedef_infot::early

Definition at line 177 of file dump_c_class.h.

◆ type_decl_str

std::string dump_ct::typedef_infot::type_decl_str

Definition at line 176 of file dump_c_class.h.

◆ typedef_name

irep_idt dump_ct::typedef_infot::typedef_name

Definition at line 175 of file dump_c_class.h.

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