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 45 of file reachability_slicer_class.h.

Constructor & Destructor Documentation

slicer_entryt()

reachability_slicert::slicer_entryt::slicer_entryt ( )

inline

Definition at line 47 of file reachability_slicer_class.h.

Member Data Documentation

function_id

irep_idt reachability_slicert::slicer_entryt::function_id

Definition at line 51 of file reachability_slicer_class.h.

reachable_from_assertion

bool reachability_slicert::slicer_entryt::reachable_from_assertion

Definition at line 53 of file reachability_slicer_class.h.

reaches_assertion

bool reachability_slicert::slicer_entryt::reaches_assertion

Definition at line 52 of file reachability_slicer_class.h.

---

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

• goto-instrument/reachability_slicer_class.h