cprover
goto_convertt::break_switch_targetst Struct Reference

#include <goto_convert_class.h>

Collaboration diagram for goto_convertt::break_switch_targetst:
[legend]

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
 

Detailed Description

Definition at line 390 of file goto_convert_class.h.

Constructor & Destructor Documentation

◆ break_switch_targetst()

Member Function Documentation

◆ restore()

Member Data Documentation

◆ break_set

bool goto_convertt::break_switch_targetst::break_set

Definition at line 417 of file goto_convert_class.h.

Referenced by break_switch_targetst(), and restore().

◆ break_stack_size

std::size_t goto_convertt::break_switch_targetst::break_stack_size

Definition at line 418 of file goto_convert_class.h.

Referenced by break_switch_targetst().

◆ break_target

goto_programt::targett goto_convertt::break_switch_targetst::break_target

Definition at line 415 of file goto_convert_class.h.

Referenced by break_switch_targetst(), and restore().

◆ cases

casest goto_convertt::break_switch_targetst::cases

Definition at line 420 of file goto_convert_class.h.

Referenced by break_switch_targetst(), and restore().

◆ cases_map

cases_mapt goto_convertt::break_switch_targetst::cases_map

Definition at line 421 of file goto_convert_class.h.

Referenced by break_switch_targetst(), and restore().

◆ default_set

bool goto_convertt::break_switch_targetst::default_set

Definition at line 417 of file goto_convert_class.h.

Referenced by break_switch_targetst(), and restore().

◆ default_target

goto_programt::targett goto_convertt::break_switch_targetst::default_target

Definition at line 416 of file goto_convert_class.h.

Referenced by break_switch_targetst(), and restore().


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