cprover
|
#include <reachability_slicer_class.h>
Public Member Functions | |
slicer_entryt () | |
Public Attributes | |
bool | reaches_assertion |
Definition at line 36 of file reachability_slicer_class.h.
|
inline |
Definition at line 38 of file reachability_slicer_class.h.
bool reachability_slicert::slicer_entryt::reaches_assertion |
Definition at line 42 of file reachability_slicer_class.h.