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 > | dependencies |
Definition at line 65 of file dump_c_class.h.
|
inlineexplicit |
Definition at line 72 of file dump_c_class.h.
std::unordered_set<irep_idt> dump_ct::typedef_infot::dependencies |
Definition at line 70 of file dump_c_class.h.
bool dump_ct::typedef_infot::early |
Definition at line 69 of file dump_c_class.h.
std::string dump_ct::typedef_infot::type_decl_str |
Definition at line 68 of file dump_c_class.h.
irep_idt dump_ct::typedef_infot::typedef_name |
Definition at line 67 of file dump_c_class.h.