goto_convertt::break_switch_targetst Struct Reference

#include <goto_convert_class.h>

Public Member Functions
	break_switch_targetst (const targetst &targets)
void	restore (targetst &targets)

Public Attributes
goto_programt::targett	break_target
goto_programt::targett	default_target
bool	break_set
bool	default_set
std::size_t	break_stack_size
casest	cases
cases_mapt	cases_map
case_stackst	case_stacks

Constructor & Destructor Documentation

break_switch_targetst()

goto_convertt::break_switch_targetst::break_switch_targetst ( const targetst & targets )

inlineexplicit

Member Function Documentation

restore()

void goto_convertt::break_switch_targetst::restore ( targetst & targets )

inline

Member Data Documentation

break_set

bool goto_convertt::break_switch_targetst::break_set

break_stack_size

std::size_t goto_convertt::break_switch_targetst::break_stack_size

break_target

goto_programt::targett goto_convertt::break_switch_targetst::break_target

case_stacks

case_stackst goto_convertt::break_switch_targetst::case_stacks

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

goto_programt::targett goto_convertt::break_switch_targetst::default_target

---

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

• src/goto-programs/goto_convert_class.h