SVF::GenericGraphTraits< const SlicedSVFGView * > Struct Reference

Public Types
using	NodeRef = SlicedSVFGNodeRef
using	EdgeRef = SlicedSVFGEdgeRef
using	nodes_iterator = SlicedSVFGNodeIter
using	ChildIteratorType = SlicedSVFGChildIterImpl< true >
using	ChildEdgeIteratorType = SlicedSVFGEdgeIterImpl< true >

Static Public Member Functions
static const SVFGNode *	getRawNode (NodeRef n)
static bool	containsNode (const SlicedSVFGView *g, const SVFGNode *n)
	Whether n is retained by this sliced SVFG (the solver's restriction test).
static bool	containsEdge (const SlicedSVFGView *g, const SVFGEdge *e)
static NodeRef	getEntryNode (const SlicedSVFGView *)
static nodes_iterator	nodes_begin (const SlicedSVFGView *v)
static nodes_iterator	nodes_end (const SlicedSVFGView *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	getNodeID (NodeRef n)
static unsigned	graphSize (const SlicedSVFGView *v)
static NodeRef	getNode (const SlicedSVFGView *v, NodeID id)

Static Public Attributes
static constexpr bool	isFilteredGraph = true

Detailed Description

Definition at line 1706 of file SlicedGraphs.h.

Member Typedef Documentation

ChildEdgeIteratorType

using SVF::GenericGraphTraits< const SlicedSVFGView * >::ChildEdgeIteratorType = SlicedSVFGEdgeIterImpl<true>

Definition at line 1712 of file SlicedGraphs.h.

ChildIteratorType

using SVF::GenericGraphTraits< const SlicedSVFGView * >::ChildIteratorType = SlicedSVFGChildIterImpl<true>

Definition at line 1711 of file SlicedGraphs.h.

EdgeRef

using SVF::GenericGraphTraits< const SlicedSVFGView * >::EdgeRef = SlicedSVFGEdgeRef

Definition at line 1709 of file SlicedGraphs.h.

NodeRef

using SVF::GenericGraphTraits< const SlicedSVFGView * >::NodeRef = SlicedSVFGNodeRef

Definition at line 1708 of file SlicedGraphs.h.

nodes_iterator

using SVF::GenericGraphTraits< const SlicedSVFGView * >::nodes_iterator = SlicedSVFGNodeIter

Definition at line 1710 of file SlicedGraphs.h.

Member Function Documentation

child_begin()

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

inlinestatic

Definition at line 1747 of file SlicedGraphs.h.

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

child_edge_begin()

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

inlinestatic

Definition at line 1764 of file SlicedGraphs.h.

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

child_edge_end()

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

inlinestatic

Definition at line 1768 of file SlicedGraphs.h.

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

child_end()

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

inlinestatic

Definition at line 1751 of file SlicedGraphs.h.

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

containsEdge()

static bool SVF::GenericGraphTraits< const SlicedSVFGView * >::containsEdge ( const SlicedSVFGView *  g, const SVFGEdge *  e  )

inlinestatic

Definition at line 1726 of file SlicedGraphs.h.

    {
        return g->isKeptEdge(e);
    }

containsNode()

static bool SVF::GenericGraphTraits< const SlicedSVFGView * >::containsNode ( const SlicedSVFGView *  g, const SVFGNode *  n  )

inlinestatic

Whether n is retained by this sliced SVFG (the solver's restriction test).

Definition at line 1721 of file SlicedGraphs.h.

    {
        return g->isKeptNode(n);
    }

direct_child_begin()

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

inlinestatic

Definition at line 1755 of file SlicedGraphs.h.

    {
        return child_begin(n);
    }

direct_child_end()

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

inlinestatic

Definition at line 1759 of file SlicedGraphs.h.

    {
        return child_end(n);
    }

edge_dest()

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

inlinestatic

Definition at line 1773 of file SlicedGraphs.h.

    {
        return e.dst;
    }

getEntryNode()

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

inlinestatic

Definition at line 1731 of file SlicedGraphs.h.

    {
        return NodeRef{};
    }

getNode()

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

inlinestatic

Definition at line 1785 of file SlicedGraphs.h.

    {
        const SVFGNode* raw =
            (v->getSVFG() != nullptr) ? v->getSVFG()->getGNode(id) : nullptr;
        return NodeRef{v, (raw != nullptr && v->isKeptNode(raw)) ? raw : nullptr};
    }

getNodeID()

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

inlinestatic

Definition at line 1777 of file SlicedGraphs.h.

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

getRawNode()

static const SVFGNode * SVF::GenericGraphTraits< const SlicedSVFGView * >::getRawNode ( NodeRef  n )

inlinestatic

Definition at line 1715 of file SlicedGraphs.h.

    {
        return n.raw;
    }

graphSize()

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

inlinestatic

Definition at line 1781 of file SlicedGraphs.h.

    {
        return static_cast<unsigned>(v->getKeptNodeCount());
    }

nodes_begin()

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

inlinestatic

Definition at line 1736 of file SlicedGraphs.h.

    {
        assert(v->getSVFG() && "SlicedSVFGView: bind the SVFG before iterating nodes");
        return SlicedSVFGNodeIter(v, v->getSVFG()->begin(), v->getSVFG()->end());
    }

nodes_end()

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

inlinestatic

Definition at line 1741 of file SlicedGraphs.h.

    {
        assert(v->getSVFG() && "SlicedSVFGView: bind the SVFG before iterating nodes");
        return SlicedSVFGNodeIter(v, v->getSVFG()->end(), v->getSVFG()->end());
    }

Member Data Documentation

isFilteredGraph

constexpr bool SVF::GenericGraphTraits< const SlicedSVFGView * >::isFilteredGraph = true

staticconstexpr

Definition at line 1713 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