SVF::GenericGraphTraits< const SlicedPAGView * > Struct Reference

Public Types
using	NodeRef = SlicedPAGNodeRef
using	EdgeRef = SlicedPAGEdgeRef
using	nodes_iterator = SlicedPAGNodeIter
using	ChildIteratorType = SlicedPAGChildIterImpl< true >
using	ChildEdgeIteratorType = SlicedPAGEdgeIterImpl< true >

Static Public Member Functions
static const SVFVar *	getRawNode (NodeRef n)
static NodeRef	getEntryNode (const SlicedPAGView *)
static nodes_iterator	nodes_begin (const SlicedPAGView *v)
static nodes_iterator	nodes_end (const SlicedPAGView *v)
static ChildIteratorType	child_begin (NodeRef n)
static ChildIteratorType	child_end (NodeRef n)
static ChildIteratorType	direct_child_begin (NodeRef n)
static ChildIteratorType	direct_child_end (NodeRef n)
static ChildEdgeIteratorType	child_edge_begin (NodeRef n)
static ChildEdgeIteratorType	child_edge_end (NodeRef n)
static NodeRef	edge_dest (const EdgeRef &e)
static unsigned	graphSize (const SlicedPAGView *v)
static unsigned	getNodeID (NodeRef n)
static NodeRef	getNode (const SlicedPAGView *v, NodeID id)

Detailed Description

Definition at line 1590 of file SlicedGraphs.h.

Member Typedef Documentation

ChildEdgeIteratorType

using SVF::GenericGraphTraits< const SlicedPAGView * >::ChildEdgeIteratorType = SlicedPAGEdgeIterImpl<true>

Definition at line 1596 of file SlicedGraphs.h.

ChildIteratorType

using SVF::GenericGraphTraits< const SlicedPAGView * >::ChildIteratorType = SlicedPAGChildIterImpl<true>

Definition at line 1595 of file SlicedGraphs.h.

EdgeRef

using SVF::GenericGraphTraits< const SlicedPAGView * >::EdgeRef = SlicedPAGEdgeRef

Definition at line 1593 of file SlicedGraphs.h.

NodeRef

using SVF::GenericGraphTraits< const SlicedPAGView * >::NodeRef = SlicedPAGNodeRef

Definition at line 1592 of file SlicedGraphs.h.

nodes_iterator

using SVF::GenericGraphTraits< const SlicedPAGView * >::nodes_iterator = SlicedPAGNodeIter

Definition at line 1594 of file SlicedGraphs.h.

Member Function Documentation

child_begin()

static ChildIteratorType SVF::GenericGraphTraits< const SlicedPAGView * >::child_begin ( NodeRef  n )

inlinestatic

Definition at line 1617 of file SlicedGraphs.h.

    {
        return ChildIteratorType(ChildEdgeIteratorType::begin(n.view, n.raw));
    }

child_edge_begin()

static ChildEdgeIteratorType SVF::GenericGraphTraits< const SlicedPAGView * >::child_edge_begin ( NodeRef  n )

inlinestatic

Definition at line 1634 of file SlicedGraphs.h.

    {
        return ChildEdgeIteratorType::begin(n.view, n.raw);
    }

child_edge_end()

static ChildEdgeIteratorType SVF::GenericGraphTraits< const SlicedPAGView * >::child_edge_end ( NodeRef  n )

inlinestatic

Definition at line 1638 of file SlicedGraphs.h.

    {
        return ChildEdgeIteratorType::end(n.view, n.raw);
    }

child_end()

static ChildIteratorType SVF::GenericGraphTraits< const SlicedPAGView * >::child_end ( NodeRef  n )

inlinestatic

Definition at line 1621 of file SlicedGraphs.h.

    {
        return ChildIteratorType(ChildEdgeIteratorType::end(n.view, n.raw));
    }

direct_child_begin()

static ChildIteratorType SVF::GenericGraphTraits< const SlicedPAGView * >::direct_child_begin ( NodeRef  n )

inlinestatic

Definition at line 1625 of file SlicedGraphs.h.

    {
        return child_begin(n);
    }

direct_child_end()

static ChildIteratorType SVF::GenericGraphTraits< const SlicedPAGView * >::direct_child_end ( NodeRef  n )

inlinestatic

Definition at line 1629 of file SlicedGraphs.h.

    {
        return child_end(n);
    }

edge_dest()

static NodeRef SVF::GenericGraphTraits< const SlicedPAGView * >::edge_dest ( const EdgeRef &  e )

inlinestatic

Definition at line 1643 of file SlicedGraphs.h.

    {
        return e.dst;
    }

getEntryNode()

static NodeRef SVF::GenericGraphTraits< const SlicedPAGView * >::getEntryNode ( const SlicedPAGView *  )

inlinestatic

Definition at line 1603 of file SlicedGraphs.h.

    {
        return NodeRef{};
    }

getNode()

static NodeRef SVF::GenericGraphTraits< const SlicedPAGView * >::getNode ( const SlicedPAGView *  v, NodeID  id  )

inlinestatic

Definition at line 1656 of file SlicedGraphs.h.

    {
        const bool kept = v->getKeptNodeIds().count(id) > 0;
        return NodeRef{v, kept ? v->getSVFIR()->getGNode(id) : nullptr};
    }

getNodeID()

static unsigned SVF::GenericGraphTraits< const SlicedPAGView * >::getNodeID ( NodeRef  n )

inlinestatic

Definition at line 1652 of file SlicedGraphs.h.

    {
        return n.raw->getId();
    }

getRawNode()

static const SVFVar * SVF::GenericGraphTraits< const SlicedPAGView * >::getRawNode ( NodeRef  n )

inlinestatic

Definition at line 1598 of file SlicedGraphs.h.

    {
        return n.raw;
    }

graphSize()

static unsigned SVF::GenericGraphTraits< const SlicedPAGView * >::graphSize ( const SlicedPAGView *  v )

inlinestatic

Definition at line 1648 of file SlicedGraphs.h.

    {
        return static_cast<unsigned>(v->getKeptNodeIds().size());
    }

nodes_begin()

static nodes_iterator SVF::GenericGraphTraits< const SlicedPAGView * >::nodes_begin ( const SlicedPAGView *  v )

inlinestatic

Definition at line 1608 of file SlicedGraphs.h.

    {
        return SlicedPAGNodeIter(v, v->getKeptNodeIds().begin());
    }

nodes_end()

static nodes_iterator SVF::GenericGraphTraits< const SlicedPAGView * >::nodes_end ( const SlicedPAGView *  v )

inlinestatic

Definition at line 1612 of file SlicedGraphs.h.

    {
        return SlicedPAGNodeIter(v, v->getKeptNodeIds().end());
    }

---

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

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