SVF::SVFLoop Class Reference

#include <SVFLoop.h>

Public Member Functions
	SVFLoop (const ICFGNodeSet &_nodes, u32_t _bound)
virtual	~SVFLoop ()=default
ICFGNodeSet::iterator	ICFGNodesBegin ()
ICFGNodeSet::iterator	ICFGNodesEnd ()
bool	isInLoop (const ICFGNode *icfgNode) const
bool	isEntryICFGEdge (const ICFGEdge *edge) const
bool	isBackICFGEdge (const ICFGEdge *edge) const
bool	isInICFGEdge (const ICFGEdge *edge) const
bool	isOutICFGEdge (const ICFGEdge *edge) const
void	addEntryICFGEdge (const ICFGEdge *edge)
ICFGEdgeSet::iterator	entryICFGEdgesBegin ()
ICFGEdgeSet::iterator	entryICFGEdgesEnd ()
void	addOutICFGEdge (const ICFGEdge *edge)
ICFGEdgeSet::iterator	outICFGEdgesBegin ()
ICFGEdgeSet::iterator	outICFGEdgesEnd ()
void	addBackICFGEdge (const ICFGEdge *edge)
ICFGEdgeSet::iterator	backICFGEdgesBegin ()
ICFGEdgeSet::iterator	backICFGEdgesEnd ()
void	addInICFGEdge (const ICFGEdge *edge)
ICFGEdgeSet::iterator	inEdgesBegin ()
ICFGEdgeSet::iterator	inEdgesEnd ()
void	setLoopBound (u32_t _bound)
u32_t	getLoopBound () const

Private Types
typedef Set< const ICFGEdge * >	ICFGEdgeSet
typedef Set< const ICFGNode * >	ICFGNodeSet

Private Attributes
ICFGEdgeSet	entryICFGEdges
ICFGEdgeSet	backICFGEdges
ICFGEdgeSet	inICFGEdges
ICFGEdgeSet	outICFGEdges
ICFGNodeSet	icfgNodes
u32_t	loopBound

Detailed Description

Definition at line 41 of file SVFLoop.h.

Member Typedef Documentation

ICFGEdgeSet

typedef Set<const ICFGEdge *> SVF::SVFLoop::ICFGEdgeSet

private

Definition at line 44 of file SVFLoop.h.

ICFGNodeSet

typedef Set<const ICFGNode *> SVF::SVFLoop::ICFGNodeSet

private

Definition at line 45 of file SVFLoop.h.

Constructor & Destructor Documentation

SVFLoop()

SVF::SVFLoop::SVFLoop ( const ICFGNodeSet &  _nodes, u32_t  _bound  )

inline

Definition at line 52 of file SVFLoop.h.

                                                     :
        icfgNodes(_nodes), loopBound(_bound)
    {
 
    }

~SVFLoop()

virtual SVF::SVFLoop::~SVFLoop ( )

virtualdefault

Member Function Documentation

addBackICFGEdge()

void SVF::SVFLoop::addBackICFGEdge ( const ICFGEdge *  edge )

inline

Definition at line 125 of file SVFLoop.h.

    {
        backICFGEdges.insert(edge);
    }

addEntryICFGEdge()

void SVF::SVFLoop::addEntryICFGEdge ( const ICFGEdge *  edge )

inline

Definition at line 95 of file SVFLoop.h.

    {
        entryICFGEdges.insert(edge);
    }

addInICFGEdge()

void SVF::SVFLoop::addInICFGEdge ( const ICFGEdge *  edge )

inline

Definition at line 140 of file SVFLoop.h.

    {
        inICFGEdges.insert(edge);
    }

addOutICFGEdge()

void SVF::SVFLoop::addOutICFGEdge ( const ICFGEdge *  edge )

inline

Definition at line 110 of file SVFLoop.h.

    {
        outICFGEdges.insert(edge);
    }

backICFGEdgesBegin()

ICFGEdgeSet::iterator SVF::SVFLoop::backICFGEdgesBegin ( )

inline

Definition at line 130 of file SVFLoop.h.

    {
        return backICFGEdges.begin();
    }

backICFGEdgesEnd()

ICFGEdgeSet::iterator SVF::SVFLoop::backICFGEdgesEnd ( )

inline

Definition at line 135 of file SVFLoop.h.

    {
        return backICFGEdges.end();
    }

entryICFGEdgesBegin()

ICFGEdgeSet::iterator SVF::SVFLoop::entryICFGEdgesBegin ( )

inline

Definition at line 100 of file SVFLoop.h.

    {
        return entryICFGEdges.begin();
    }

entryICFGEdgesEnd()

ICFGEdgeSet::iterator SVF::SVFLoop::entryICFGEdgesEnd ( )

inline

Definition at line 105 of file SVFLoop.h.

    {
        return entryICFGEdges.end();
    }

getLoopBound()

u32_t SVF::SVFLoop::getLoopBound ( ) const

inline

Definition at line 160 of file SVFLoop.h.

    {
        return loopBound;
    }

ICFGNodesBegin()

ICFGNodeSet::iterator SVF::SVFLoop::ICFGNodesBegin ( )

inline

Definition at line 60 of file SVFLoop.h.

    {
        return icfgNodes.begin();
    }

ICFGNodesEnd()

ICFGNodeSet::iterator SVF::SVFLoop::ICFGNodesEnd ( )

inline

Definition at line 65 of file SVFLoop.h.

    {
        return icfgNodes.end();
    }

inEdgesBegin()

ICFGEdgeSet::iterator SVF::SVFLoop::inEdgesBegin ( )

inline

Definition at line 145 of file SVFLoop.h.

    {
        return inICFGEdges.begin();
    }

inEdgesEnd()

ICFGEdgeSet::iterator SVF::SVFLoop::inEdgesEnd ( )

inline

Definition at line 150 of file SVFLoop.h.

    {
        return inICFGEdges.end();
    }

isBackICFGEdge()

bool SVF::SVFLoop::isBackICFGEdge ( const ICFGEdge *  edge ) const

inline

Definition at line 80 of file SVFLoop.h.

    {
        return backICFGEdges.find(edge) != backICFGEdges.end();
    }

isEntryICFGEdge()

bool SVF::SVFLoop::isEntryICFGEdge ( const ICFGEdge *  edge ) const

inline

Definition at line 75 of file SVFLoop.h.

    {
        return entryICFGEdges.find(edge) != entryICFGEdges.end();
    }

isInICFGEdge()

bool SVF::SVFLoop::isInICFGEdge ( const ICFGEdge *  edge ) const

inline

Definition at line 85 of file SVFLoop.h.

    {
        return inICFGEdges.find(edge) != inICFGEdges.end();
    }

isInLoop()

bool SVF::SVFLoop::isInLoop ( const ICFGNode *  icfgNode ) const

inline

Definition at line 70 of file SVFLoop.h.

    {
        return icfgNodes.find(icfgNode) != icfgNodes.end();
    }

isOutICFGEdge()

bool SVF::SVFLoop::isOutICFGEdge ( const ICFGEdge *  edge ) const

inline

Definition at line 90 of file SVFLoop.h.

    {
        return outICFGEdges.find(edge) != outICFGEdges.end();
    }

outICFGEdgesBegin()

ICFGEdgeSet::iterator SVF::SVFLoop::outICFGEdgesBegin ( )

inline

Definition at line 115 of file SVFLoop.h.

    {
        return outICFGEdges.begin();
    }

outICFGEdgesEnd()

ICFGEdgeSet::iterator SVF::SVFLoop::outICFGEdgesEnd ( )

inline

Definition at line 120 of file SVFLoop.h.

    {
        return outICFGEdges.end();
    }

setLoopBound()

void SVF::SVFLoop::setLoopBound ( u32_t  _bound )

inline

Definition at line 155 of file SVFLoop.h.

    {
        loopBound = _bound;
    }

Member Data Documentation

backICFGEdges

ICFGEdgeSet SVF::SVFLoop::backICFGEdges

private

Definition at line 47 of file SVFLoop.h.

entryICFGEdges

ICFGEdgeSet SVF::SVFLoop::entryICFGEdges

private

Definition at line 47 of file SVFLoop.h.

icfgNodes

ICFGNodeSet SVF::SVFLoop::icfgNodes

private

Definition at line 48 of file SVFLoop.h.

inICFGEdges

ICFGEdgeSet SVF::SVFLoop::inICFGEdges

private

Definition at line 47 of file SVFLoop.h.

loopBound

u32_t SVF::SVFLoop::loopBound

private

Definition at line 49 of file SVFLoop.h.

outICFGEdges

ICFGEdgeSet SVF::SVFLoop::outICFGEdges

private

Definition at line 47 of file SVFLoop.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/MemoryModel/SVFLoop.h