cprover
|
#include <linking_class.h>
Public Member Functions | |
adjust_type_infot (const symbolt &_old_symbol, const symbolt &_new_symbol) | |
Public Attributes | |
const symbolt & | old_symbol |
const symbolt & | new_symbol |
bool | set_to_new |
std::unordered_set< irep_idt > | o_symbols |
std::unordered_set< irep_idt > | n_symbols |
Definition at line 81 of file linking_class.h.
|
inline |
Definition at line 83 of file linking_class.h.
std::unordered_set<irep_idt> linkingt::adjust_type_infot::n_symbols |
Definition at line 96 of file linking_class.h.
Referenced by linkingt::adjust_object_type_rec().
const symbolt& linkingt::adjust_type_infot::new_symbol |
Definition at line 93 of file linking_class.h.
Referenced by linkingt::adjust_object_type_rec().
std::unordered_set<irep_idt> linkingt::adjust_type_infot::o_symbols |
Definition at line 95 of file linking_class.h.
Referenced by linkingt::adjust_object_type_rec().
const symbolt& linkingt::adjust_type_infot::old_symbol |
Definition at line 92 of file linking_class.h.
Referenced by linkingt::adjust_object_type_rec().
bool linkingt::adjust_type_infot::set_to_new |
Definition at line 94 of file linking_class.h.
Referenced by linkingt::adjust_object_type(), and linkingt::adjust_object_type_rec().