cprover
|
#include <reachability_slicer_class.h>
Public Member Functions | |
slicer_entryt () | |
Public Attributes | |
irep_idt | function_id |
bool | reaches_assertion |
bool | reachable_from_assertion |
Definition at line 45 of file reachability_slicer_class.h.
|
inline |
Definition at line 47 of file reachability_slicer_class.h.
irep_idt reachability_slicert::slicer_entryt::function_id |
Definition at line 51 of file reachability_slicer_class.h.
bool reachability_slicert::slicer_entryt::reachable_from_assertion |
Definition at line 53 of file reachability_slicer_class.h.
bool reachability_slicert::slicer_entryt::reaches_assertion |
Definition at line 52 of file reachability_slicer_class.h.