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:

• /home/runner/work/cbmc/cbmc/src/goto-instrument/dump_c_class.h