cprover
|
#include <reachability_slicer_class.h>
Public Member Functions | |
slicer_entryt () | |
Public Attributes | |
bool | reaches_assertion |
bool | reachable_from_assertion |
Definition at line 39 of file reachability_slicer_class.h.
|
inline |
Definition at line 41 of file reachability_slicer_class.h.
bool reachability_slicert::slicer_entryt::reachable_from_assertion |
Definition at line 46 of file reachability_slicer_class.h.
bool reachability_slicert::slicer_entryt::reaches_assertion |
Definition at line 45 of file reachability_slicer_class.h.