CBMC
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 556 of file goto_convert_class.h.

Constructor & Destructor Documentation

◆ leave_targett()

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

Definition at line 560 of file goto_convert_class.h.

Member Function Documentation

◆ restore()

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

Definition at line 567 of file goto_convert_class.h.

Member Data Documentation

◆ leave_set

bool goto_convertt::leave_targett::leave_set

Definition at line 574 of file goto_convert_class.h.

◆ leave_stack_node

node_indext goto_convertt::leave_targett::leave_stack_node

Definition at line 575 of file goto_convert_class.h.

◆ leave_target

goto_programt::targett goto_convertt::leave_targett::leave_target

Definition at line 573 of file goto_convert_class.h.


The documentation for this struct was generated from the following file: