full_slicert::cfg_nodet Struct Reference
#include <full_slicer_class.h>
Collaboration diagram for full_slicert::cfg_nodet:Public Member Functions | |
| cfg_nodet () | |
Public Attributes | |
| bool | node_required |
| irep_idt | function_id |
Detailed Description
Definition at line 47 of file full_slicer_class.h.
Constructor & Destructor Documentation
◆ cfg_nodet()
|
inline |
Definition at line 49 of file full_slicer_class.h.
Member Data Documentation
◆ function_id
| irep_idt full_slicert::cfg_nodet::function_id |
Definition at line 54 of file full_slicer_class.h.
◆ node_required
| bool full_slicert::cfg_nodet::node_required |
Definition at line 53 of file full_slicer_class.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/full_slicer_class.h
