cprover
|
#include <dump_c_class.h>
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, irep_id_hash > | dependencies |
Definition at line 68 of file dump_c_class.h.
|
inlineexplicit |
Definition at line 75 of file dump_c_class.h.
std::unordered_set<irep_idt, irep_id_hash> dump_ct::typedef_infot::dependencies |
Definition at line 73 of file dump_c_class.h.
Referenced by dump_ct::make_decl().
bool dump_ct::typedef_infot::early |
Definition at line 72 of file dump_c_class.h.
Referenced by dump_ct::make_decl().
std::string dump_ct::typedef_infot::type_decl_str |
Definition at line 71 of file dump_c_class.h.
irep_idt dump_ct::typedef_infot::typedef_name |
Definition at line 70 of file dump_c_class.h.
Referenced by dump_ct::dump_typedefs().