CBMC
Public Member Functions | Public Attributes | List of all members
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()

reachability_slicert::slicer_entryt::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: