cprover
local_cfgt::nodet Class Reference

#include <local_cfg.h>

Collaboration diagram for local_cfgt::nodet:
[legend]

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

◆ t


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