cprover
Loading...
Searching...
No Matches
goto_convertt::break_switch_targetst Struct Reference

#include <goto_convert_class.h>

Collaboration diagram for goto_convertt::break_switch_targetst:

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
node_indext break_stack_node
casest cases
cases_mapt cases_map

Detailed Description

Definition at line 500 of file goto_convert_class.h.

Constructor & Destructor Documentation

◆ break_switch_targetst()

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

Definition at line 504 of file goto_convert_class.h.

Member Function Documentation

◆ restore()

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

Definition at line 515 of file goto_convert_class.h.

Member Data Documentation

◆ break_set

bool goto_convertt::break_switch_targetst::break_set

Definition at line 527 of file goto_convert_class.h.

◆ break_stack_node

node_indext goto_convertt::break_switch_targetst::break_stack_node

Definition at line 528 of file goto_convert_class.h.

◆ break_target

goto_programt::targett goto_convertt::break_switch_targetst::break_target

Definition at line 525 of file goto_convert_class.h.

◆ cases

casest goto_convertt::break_switch_targetst::cases

Definition at line 530 of file goto_convert_class.h.

◆ cases_map

cases_mapt goto_convertt::break_switch_targetst::cases_map

Definition at line 531 of file goto_convert_class.h.

◆ default_set

bool goto_convertt::break_switch_targetst::default_set

Definition at line 527 of file goto_convert_class.h.

◆ default_target

goto_programt::targett goto_convertt::break_switch_targetst::default_target

Definition at line 526 of file goto_convert_class.h.


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