cprover
goto_convertt::guarded_gotot Struct Reference

#include <goto_convert_class.h>

Collaboration diagram for goto_convertt::guarded_gotot:
[legend]

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: