cprover
reachability_slicert::slicer_entryt Struct Reference

#include <reachability_slicer_class.h>

Public Member Functions

 slicer_entryt ()
 

Public Attributes

bool reaches_assertion
 

Detailed Description

Definition at line 36 of file reachability_slicer_class.h.

Constructor & Destructor Documentation

◆ slicer_entryt()

reachability_slicert::slicer_entryt::slicer_entryt ( )
inline

Definition at line 38 of file reachability_slicer_class.h.

Member Data Documentation

◆ reaches_assertion

bool reachability_slicert::slicer_entryt::reaches_assertion

Definition at line 42 of file reachability_slicer_class.h.


The documentation for this struct was generated from the following file: