#include <goto_convert_class.h>
Definition at line 500 of file goto_convert_class.h.
◆ break_switch_targetst()
goto_convertt::break_switch_targetst::break_switch_targetst |
( |
const targetst & |
targets | ) |
|
|
inlineexplicit |
◆ restore()
void goto_convertt::break_switch_targetst::restore |
( |
targetst & |
targets | ) |
|
|
inline |
◆ break_set
bool goto_convertt::break_switch_targetst::break_set |
◆ break_stack_node
node_indext goto_convertt::break_switch_targetst::break_stack_node |
◆ break_target
◆ cases
casest goto_convertt::break_switch_targetst::cases |
◆ cases_map
cases_mapt goto_convertt::break_switch_targetst::cases_map |
◆ default_set
bool goto_convertt::break_switch_targetst::default_set |
◆ default_target
The documentation for this struct was generated from the following file: