SVF::ValueFlowSlice Struct Reference

#include <MTASlicer.h>

Public Member Functions
NodeBS	nodeIds () const

Public Attributes
OrderedSet< const SVFGNode * >	svfgNodes
OrderedSet< const ICFGNode * >	icfgNodes

Detailed Description

Definition at line 59 of file MTASlicer.h.

Member Function Documentation

nodeIds()

NodeBS SVF::ValueFlowSlice::nodeIds ( ) const

inline

Definition at line 64 of file MTASlicer.h.

    {
        NodeBS ids;
        for (const SVFGNode* node : svfgNodes)
            ids.set(node->getId());
        return ids;
    }

Member Data Documentation

icfgNodes

OrderedSet<const ICFGNode*> SVF::ValueFlowSlice::icfgNodes

Definition at line 62 of file MTASlicer.h.

svfgNodes

OrderedSet<const SVFGNode*> SVF::ValueFlowSlice::svfgNodes

Definition at line 61 of file MTASlicer.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/MTA/MTASlicer.h