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 480 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 484 of file goto_convert_class.h.

Member Function Documentation

restore()

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

inline

Definition at line 492 of file goto_convert_class.h.

Member Data Documentation

break_set

bool goto_convertt::break_continue_targetst::break_set

Definition at line 502 of file goto_convert_class.h.

break_target

goto_programt::targett goto_convertt::break_continue_targetst::break_target

Definition at line 500 of file goto_convert_class.h.

continue_set

bool goto_convertt::break_continue_targetst::continue_set

Definition at line 502 of file goto_convert_class.h.

continue_target

goto_programt::targett goto_convertt::break_continue_targetst::continue_target

Definition at line 501 of file goto_convert_class.h.

---

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

• /home/runner/work/cbmc/cbmc/src/ansi-c/goto-conversion/goto_convert_class.h