reachability_slicert::slicer_entryt Struct Reference
#include <reachability_slicer_class.h>
Collaboration diagram for reachability_slicert::slicer_entryt:Public Member Functions | |
| slicer_entryt () | |
Public Attributes | |
| irep_idt | function_id |
| bool | reaches_assertion |
| bool | reachable_from_assertion |
Detailed Description
Definition at line 31 of file reachability_slicer_class.h.
Constructor & Destructor Documentation
◆ slicer_entryt()
|
inline |
Definition at line 33 of file reachability_slicer_class.h.
Member Data Documentation
◆ function_id
| irep_idt reachability_slicert::slicer_entryt::function_id |
Definition at line 37 of file reachability_slicer_class.h.
◆ reachable_from_assertion
| bool reachability_slicert::slicer_entryt::reachable_from_assertion |
Definition at line 39 of file reachability_slicer_class.h.
◆ reaches_assertion
| bool reachability_slicert::slicer_entryt::reaches_assertion |
Definition at line 38 of file reachability_slicer_class.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/goto-instrument/reachability_slicer_class.h
