cprover
|
#include <goto_convert_class.h>
Public Member Functions | |
leave_targett (const targetst &targets) | |
void | restore (targetst &targets) |
Public Attributes | |
goto_programt::targett | leave_target |
bool | leave_set |
std::size_t | leave_stack_size |
Definition at line 525 of file goto_convert_class.h.
|
inlineexplicit |
Definition at line 529 of file goto_convert_class.h.
References goto_convertt::targetst::destructor_stack, goto_convertt::targetst::leave_set, leave_set, leave_stack_size, goto_convertt::targetst::leave_target, leave_target, and goto_convertt::targets.
|
inline |
Definition at line 536 of file goto_convert_class.h.
References goto_convertt::targetst::leave_set, leave_set, goto_convertt::targetst::leave_target, leave_target, and goto_convertt::targets.
bool goto_convertt::leave_targett::leave_set |
Definition at line 543 of file goto_convert_class.h.
Referenced by leave_targett(), and restore().
std::size_t goto_convertt::leave_targett::leave_stack_size |
Definition at line 544 of file goto_convert_class.h.
Referenced by leave_targett().
goto_programt::targett goto_convertt::leave_targett::leave_target |
Definition at line 542 of file goto_convert_class.h.
Referenced by leave_targett(), and restore().