goto_convertt::leave_targett Struct Reference

#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
node_indext	leave_stack_node

Detailed Description

Definition at line 561 of file goto_convert_class.h.

Constructor & Destructor Documentation

leave_targett()

goto_convertt::leave_targett::leave_targett ( const targetst &  targets )

inlineexplicit

Definition at line 565 of file goto_convert_class.h.

Member Function Documentation

restore()

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

inline

Definition at line 572 of file goto_convert_class.h.

Member Data Documentation

leave_set

bool goto_convertt::leave_targett::leave_set

Definition at line 579 of file goto_convert_class.h.

leave_stack_node

node_indext goto_convertt::leave_targett::leave_stack_node

Definition at line 580 of file goto_convert_class.h.

leave_target

goto_programt::targett goto_convertt::leave_targett::leave_target

Definition at line 578 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