CBMC
|
#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 |
Definition at line 475 of file goto_convert_class.h.
|
inlineexplicit |
Definition at line 479 of file goto_convert_class.h.
Definition at line 487 of file goto_convert_class.h.
bool goto_convertt::break_continue_targetst::break_set |
Definition at line 497 of file goto_convert_class.h.
goto_programt::targett goto_convertt::break_continue_targetst::break_target |
Definition at line 495 of file goto_convert_class.h.
bool goto_convertt::break_continue_targetst::continue_set |
Definition at line 497 of file goto_convert_class.h.
goto_programt::targett goto_convertt::break_continue_targetst::continue_target |
Definition at line 496 of file goto_convert_class.h.