cprover
dump_ct::typedef_infot Struct Reference

#include <dump_c_class.h>

Collaboration diagram for dump_ct::typedef_infot:
[legend]

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_idtdependencies
 

Detailed Description

Definition at line 65 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 72 of file dump_c_class.h.

Member Data Documentation

◆ dependencies

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

Definition at line 70 of file dump_c_class.h.

◆ early

bool dump_ct::typedef_infot::early

Definition at line 69 of file dump_c_class.h.

◆ type_decl_str

std::string dump_ct::typedef_infot::type_decl_str

Definition at line 68 of file dump_c_class.h.

◆ typedef_name

irep_idt dump_ct::typedef_infot::typedef_name

Definition at line 67 of file dump_c_class.h.

Referenced by dump_ct::dump_typedefs().


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