|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
RAII: adds dynamic_type_names to the transient tagged-name set for the duration of converting one if/else's branches; removes on exit only what it added, keeping nested invocations independent. More...
#include <dynamic_type_handler.h>
Public Member Functions | |
| scope_guard (dynamic_type_handler &handler, const std::unordered_set< std::string > &dynamic_type_names) | |
| ~scope_guard () | |
RAII: adds dynamic_type_names to the transient tagged-name set for the duration of converting one if/else's branches; removes on exit only what it added, keeping nested invocations independent.
| dynamic_type_handler::scope_guard::scope_guard | ( | dynamic_type_handler & | handler, |
| const std::unordered_set< std::string > & | dynamic_type_names ) |
| dynamic_type_handler::scope_guard::~scope_guard | ( | ) |