local_cfgt::nodet Class Reference

#include <local_cfg.h>

Collaboration diagram for local_cfgt::nodet:

Public Attributes
goto_programt::const_targett	t
successorst	successors

Detailed Description

Definition at line 25 of file local_cfg.h.

Member Data Documentation

successors

successorst local_cfgt::nodet::successors

Definition at line 29 of file local_cfg.h.

t

goto_programt::const_targett local_cfgt::nodet::t

Definition at line 28 of file local_cfg.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/local_cfg.h