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 444 of file goto_convert_class.h.
|
inlineexplicit |
Definition at line 448 of file goto_convert_class.h.
References goto_convertt::targetst::break_set, break_set, goto_convertt::targetst::break_target, break_target, goto_convertt::targetst::continue_set, continue_set, goto_convertt::targetst::continue_target, continue_target, and goto_convertt::targets.
|
inline |
Definition at line 456 of file goto_convert_class.h.
References goto_convertt::targetst::break_set, break_set, goto_convertt::targetst::break_target, break_target, goto_convertt::targetst::continue_set, continue_set, goto_convertt::targetst::continue_target, continue_target, and goto_convertt::targets.
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 466 of file goto_convert_class.h.
Referenced by break_continue_targetst(), and restore().
goto_programt::targett goto_convertt::break_continue_targetst::break_target |
Definition at line 464 of file goto_convert_class.h.
Referenced by break_continue_targetst(), and restore().
bool goto_convertt::break_continue_targetst::continue_set |
Definition at line 466 of file goto_convert_class.h.
Referenced by break_continue_targetst(), and restore().
goto_programt::targett goto_convertt::break_continue_targetst::continue_target |
Definition at line 465 of file goto_convert_class.h.
Referenced by break_continue_targetst(), and restore().