CBMC
Public Member Functions | Private Attributes | List of all members
address_of_aware_replace_symbolt::set_require_lvalue_and_backupt Class Reference

Public Member Functions

 set_require_lvalue_and_backupt (bool &require_lvalue, const bool value)
 
 ~set_require_lvalue_and_backupt ()
 

Private Attributes

bool & require_lvalue
 
bool prev_value
 

Detailed Description

Definition at line 131 of file replace_symbol.h.

Constructor & Destructor Documentation

◆ 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

Definition at line 134 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 ( )
inline

Definition at line 140 of file replace_symbol.h.

Member Data Documentation

◆ prev_value

bool address_of_aware_replace_symbolt::set_require_lvalue_and_backupt::prev_value
private

Definition at line 147 of file replace_symbol.h.

◆ require_lvalue

bool& address_of_aware_replace_symbolt::set_require_lvalue_and_backupt::require_lvalue
private

Definition at line 146 of file replace_symbol.h.

The documentation for this class was generated from the following file: