SVF::SlicedSVFGEdgeRef Struct Reference

#include <SlicedGraphs.h>

Public Attributes
SlicedSVFGNodeRef	src
SlicedSVFGNodeRef	dst
const SVFGEdge *	underlying = nullptr

Detailed Description

Definition at line 1058 of file SlicedGraphs.h.

Member Data Documentation

dst

SlicedSVFGNodeRef SVF::SlicedSVFGEdgeRef::dst

Definition at line 1061 of file SlicedGraphs.h.

src

SlicedSVFGNodeRef SVF::SlicedSVFGEdgeRef::src

Definition at line 1060 of file SlicedGraphs.h.

underlying

const SVFGEdge* SVF::SlicedSVFGEdgeRef::underlying = nullptr

Definition at line 1062 of file SlicedGraphs.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Graphs/SlicedGraphs.h