cprover
|
#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 365 of file goto_convert_class.h.
|
inlineexplicit |
Definition at line 369 of file goto_convert_class.h.
References goto_convertt::targetst::break_set, goto_convertt::targetst::break_target, goto_convertt::targetst::continue_set, and goto_convertt::targetst::continue_target.
|
inline |
Definition at line 377 of file goto_convert_class.h.
References goto_convertt::targetst::break_set, goto_convertt::targetst::break_target, goto_convertt::targetst::continue_set, and goto_convertt::targetst::continue_target.
Referenced by goto_convertt::convert_dowhile(), goto_convertt::convert_for(), and goto_convertt::convert_while().
bool goto_convertt::break_continue_targetst::break_set |
Definition at line 387 of file goto_convert_class.h.
goto_programt::targett goto_convertt::break_continue_targetst::break_target |
Definition at line 385 of file goto_convert_class.h.
bool goto_convertt::break_continue_targetst::continue_set |
Definition at line 387 of file goto_convert_class.h.
goto_programt::targett goto_convertt::break_continue_targetst::continue_target |
Definition at line 386 of file goto_convert_class.h.