SVF::SlicedSVFGView Class Reference

#include <SlicedGraphs.h>

Public Member Functions
	SlicedSVFGView (const SVFG *svfg, const NodeBS &retainedNodeIds)
bool	isKeptNode (const SVFGNode *n) const
	Whether the node is retained (see the class comment for the rule).
bool	isKeptEdge (const SVFGEdge *e) const
	Whether the edge is retained: both endpoints kept (no bridges).
const SVFG *	getSVFG () const
size_t	getKeptNodeCount () const
void	dump (const std::string &filename) const
	Dump the sliced SVFG (retained nodes/edges only) via GraphWriter.

Private Attributes
const SVFG *	svfg = nullptr
NodeBS	retainedNodeIds

Detailed Description

Definition at line 267 of file SlicedGraphs.h.

Constructor & Destructor Documentation

SlicedSVFGView()

SVF::SlicedSVFGView::SlicedSVFGView ( const SVFG * svfg, const NodeBS & retainedNodeIds )

inline

Definition at line 270 of file SlicedGraphs.h.

        : svfg(svfg), retainedNodeIds(retainedNodeIds) {}

Member Function Documentation

dump()

void SVF::SlicedSVFGView::dump

(

const std::string &

filename

)

const

Dump the sliced SVFG (retained nodes/edges only) via GraphWriter.

Definition at line 257 of file SlicedGraphs.cpp.

{
    assert(svfg != nullptr && "SlicedSVFGView: bind the SVFG before dumping");
    GraphPrinter::WriteGraphToFile(SVFUtil::outs(), filename, this);
}

getKeptNodeCount()

size_t SVF::SlicedSVFGView::getKeptNodeCount

(

)

const

Definition at line 252 of file SlicedGraphs.cpp.

{
    return retainedNodeIds.count();
}

getSVFG()

const SVFG * SVF::SlicedSVFGView::getSVFG ( ) const

inline

Definition at line 282 of file SlicedGraphs.h.

    {
        return svfg;
    }

isKeptEdge()

bool SVF::SlicedSVFGView::isKeptEdge ( const SVFGEdge * e ) const

inline

Whether the edge is retained: both endpoints kept (no bridges).

Definition at line 277 of file SlicedGraphs.h.

    {
        return isKeptNode(e->getSrcNode()) && isKeptNode(e->getDstNode());
    }

isKeptNode()

bool SVF::SlicedSVFGView::isKeptNode

(

const SVFGNode *

n

)

const

Whether the node is retained (see the class comment for the rule).

Definition at line 245 of file SlicedGraphs.cpp.

{
    if (n == nullptr)
        return false;
    return retainedNodeIds.test(n->getId());
}

Member Data Documentation

retainedNodeIds

NodeBS SVF::SlicedSVFGView::retainedNodeIds

private

Definition at line 293 of file SlicedGraphs.h.

svfg

const SVFG* SVF::SlicedSVFGView::svfg = nullptr

private

Definition at line 292 of file SlicedGraphs.h.

---

The documentation for this class was generated from the following files:

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