goto_convertt::guarded_gotot Struct Reference

#include <goto_convert_class.h>

Collaboration diagram for goto_convertt::guarded_gotot:

Public Attributes
goto_programt::targett	ifiter
goto_programt::targett	gotoiter
exprt	guard

Detailed Description

Definition at line 468 of file goto_convert_class.h.

Member Data Documentation

gotoiter

goto_programt::targett goto_convertt::guarded_gotot::gotoiter

Definition at line 471 of file goto_convert_class.h.

guard

exprt goto_convertt::guarded_gotot::guard

Definition at line 472 of file goto_convert_class.h.

ifiter

goto_programt::targett goto_convertt::guarded_gotot::ifiter

Definition at line 470 of file goto_convert_class.h.

---

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

• goto-programs/goto_convert_class.h