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 |
id_sett | o_symbols |
id_sett | n_symbols |
Definition at line 83 of file linking_class.h.
|
inline |
Definition at line 85 of file linking_class.h.
id_sett linkingt::adjust_type_infot::n_symbols |
Definition at line 98 of file linking_class.h.
Referenced by linkingt::adjust_object_type_rec().
const symbolt& linkingt::adjust_type_infot::new_symbol |
Definition at line 95 of file linking_class.h.
Referenced by linkingt::adjust_object_type_rec().
id_sett linkingt::adjust_type_infot::o_symbols |
Definition at line 97 of file linking_class.h.
Referenced by linkingt::adjust_object_type_rec().
const symbolt& linkingt::adjust_type_infot::old_symbol |
Definition at line 94 of file linking_class.h.
Referenced by linkingt::adjust_object_type_rec().
bool linkingt::adjust_type_infot::set_to_new |
Definition at line 96 of file linking_class.h.
Referenced by linkingt::adjust_object_type(), and linkingt::adjust_object_type_rec().