CBMC
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 48 of file full_slicer_class.h.

Constructor & Destructor Documentation

◆ cfg_nodet()

full_slicert::cfg_nodet::cfg_nodet ( )
inline

Definition at line 50 of file full_slicer_class.h.

Member Data Documentation

◆ function_id

irep_idt full_slicert::cfg_nodet::function_id

Definition at line 55 of file full_slicer_class.h.

◆ node_required

bool full_slicert::cfg_nodet::node_required

Definition at line 54 of file full_slicer_class.h.


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