CBMC
|
#include <full_slicer_class.h>
Public Member Functions | |
cfg_nodet () | |
Public Attributes | |
bool | node_required |
irep_idt | function_id |
Definition at line 48 of file full_slicer_class.h.
|
inline |
Definition at line 50 of file full_slicer_class.h.
irep_idt full_slicert::cfg_nodet::function_id |
Definition at line 55 of file full_slicer_class.h.
bool full_slicert::cfg_nodet::node_required |
Definition at line 54 of file full_slicer_class.h.