SVF::SlicedSVFGView Member List

This is the complete list of members for SVF::SlicedSVFGView, including all inherited members.

dump(const std::string &filename) const	SVF::SlicedSVFGView
getKeptNodeCount() const	SVF::SlicedSVFGView
getSVFG() const	SVF::SlicedSVFGView	inline
isKeptEdge(const SVFGEdge *e) const	SVF::SlicedSVFGView	inline
isKeptNode(const SVFGNode *n) const	SVF::SlicedSVFGView
retainedNodeIds	SVF::SlicedSVFGView	private
SlicedSVFGView(const SVFG *svfg, const NodeBS &retainedNodeIds)	SVF::SlicedSVFGView	inline
svfg	SVF::SlicedSVFGView	private