Definition at line 131 of file replace_symbol.h.
◆ set_require_lvalue_and_backupt()
address_of_aware_replace_symbolt::set_require_lvalue_and_backupt::set_require_lvalue_and_backupt |
( |
bool & |
require_lvalue, |
|
|
const bool |
value |
|
) |
| |
|
inline |
◆ ~set_require_lvalue_and_backupt()
address_of_aware_replace_symbolt::set_require_lvalue_and_backupt::~set_require_lvalue_and_backupt |
( |
| ) |
|
|
inline |
◆ prev_value
bool address_of_aware_replace_symbolt::set_require_lvalue_and_backupt::prev_value |
|
private |
◆ require_lvalue
bool& address_of_aware_replace_symbolt::set_require_lvalue_and_backupt::require_lvalue |
|
private |
The documentation for this class was generated from the following file: