|
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().