CBMC
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: