CBMC
Public Member Functions | Public Attributes | List of all members
goto_convertt::break_continue_targetst Struct Reference

#include <goto_convert_class.h>

Public Member Functions

 break_continue_targetst (const targetst &targets)
 
void restore (targetst &targets)
 

Public Attributes

goto_programt::targett break_target
 
goto_programt::targett continue_target
 
bool break_set
 
bool continue_set
 

Detailed Description

Definition at line 469 of file goto_convert_class.h.

Constructor & Destructor Documentation

◆ break_continue_targetst()

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

Definition at line 473 of file goto_convert_class.h.

Member Function Documentation

◆ restore()

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

Definition at line 481 of file goto_convert_class.h.

Member Data Documentation

◆ break_set

bool goto_convertt::break_continue_targetst::break_set

Definition at line 491 of file goto_convert_class.h.

◆ break_target

goto_programt::targett goto_convertt::break_continue_targetst::break_target

Definition at line 489 of file goto_convert_class.h.

◆ continue_set

bool goto_convertt::break_continue_targetst::continue_set

Definition at line 491 of file goto_convert_class.h.

◆ continue_target

goto_programt::targett goto_convertt::break_continue_targetst::continue_target

Definition at line 490 of file goto_convert_class.h.

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