#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

Friends
class	SVFIRWriter

class	SVFIRReader

Detailed Description

Definition at line 38 of file SVFLoop.h.

Member Typedef Documentation

◆ ICFGEdgeSet

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

private

Definition at line 43 of file SVFLoop.h.

◆ ICFGNodeSet

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

private

Definition at line 44 of file SVFLoop.h.

Constructor & Destructor Documentation

◆ SVFLoop()

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

inline

Definition at line 51 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 124 of file SVFLoop.h.

    {
        backICFGEdges.insert(edge);
    }

◆ addEntryICFGEdge()

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

inline

Definition at line 94 of file SVFLoop.h.

    {
        entryICFGEdges.insert(edge);
    }

◆ addInICFGEdge()

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

inline

Definition at line 139 of file SVFLoop.h.

    {
        inICFGEdges.insert(edge);
    }

◆ addOutICFGEdge()

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

inline

Definition at line 109 of file SVFLoop.h.

    {
        outICFGEdges.insert(edge);
    }

◆ backICFGEdgesBegin()

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

inline

Definition at line 129 of file SVFLoop.h.

    {
        return backICFGEdges.begin();
    }

◆ backICFGEdgesEnd()

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

inline

Definition at line 134 of file SVFLoop.h.

    {
        return backICFGEdges.end();
    }

◆ entryICFGEdgesBegin()

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

inline

Definition at line 99 of file SVFLoop.h.

    {
        return entryICFGEdges.begin();
    }

◆ entryICFGEdgesEnd()

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

inline

Definition at line 104 of file SVFLoop.h.

    {
        return entryICFGEdges.end();
    }

◆ getLoopBound()

u32_t SVF::SVFLoop::getLoopBound ( ) const

inline

Definition at line 159 of file SVFLoop.h.

    {
        return loopBound;
    }

◆ ICFGNodesBegin()

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

inline

Definition at line 59 of file SVFLoop.h.

    {
        return icfgNodes.begin();
    }

◆ ICFGNodesEnd()

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

inline

Definition at line 64 of file SVFLoop.h.

    {
        return icfgNodes.end();
    }

◆ inEdgesBegin()

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

inline

Definition at line 144 of file SVFLoop.h.

    {
        return inICFGEdges.begin();
    }

◆ inEdgesEnd()

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

inline

Definition at line 149 of file SVFLoop.h.

    {
        return inICFGEdges.end();
    }

◆ isBackICFGEdge()

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

inline

Definition at line 79 of file SVFLoop.h.

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

◆ isEntryICFGEdge()

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

inline

Definition at line 74 of file SVFLoop.h.

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

◆ isInICFGEdge()

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

inline

Definition at line 84 of file SVFLoop.h.

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

◆ isInLoop()

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

inline

Definition at line 69 of file SVFLoop.h.

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

◆ isOutICFGEdge()

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

inline

Definition at line 89 of file SVFLoop.h.

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

◆ outICFGEdgesBegin()

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

inline

Definition at line 114 of file SVFLoop.h.

    {
        return outICFGEdges.begin();
    }

◆ outICFGEdgesEnd()

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

inline

Definition at line 119 of file SVFLoop.h.

    {
        return outICFGEdges.end();
    }

◆ setLoopBound()

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

inline

Definition at line 154 of file SVFLoop.h.

    {
        loopBound = _bound;
    }

Friends And Related Symbol Documentation

◆ SVFIRReader

friend class SVFIRReader

friend

Definition at line 41 of file SVFLoop.h.

◆ SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 40 of file SVFLoop.h.

Member Data Documentation

◆ backICFGEdges

ICFGEdgeSet SVF::SVFLoop::backICFGEdges

private

Definition at line 46 of file SVFLoop.h.

◆ entryICFGEdges

ICFGEdgeSet SVF::SVFLoop::entryICFGEdges

private

Definition at line 46 of file SVFLoop.h.

◆ icfgNodes

ICFGNodeSet SVF::SVFLoop::icfgNodes

private

Definition at line 47 of file SVFLoop.h.

◆ inICFGEdges

ICFGEdgeSet SVF::SVFLoop::inICFGEdges

private

Definition at line 46 of file SVFLoop.h.

◆ loopBound

u32_t SVF::SVFLoop::loopBound

private

Definition at line 48 of file SVFLoop.h.

◆ outICFGEdges

ICFGEdgeSet SVF::SVFLoop::outICFGEdges

private

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

Public Member Functions

Private Types

Private Attributes

Friends

Detailed Description

Member Typedef Documentation

◆ ICFGEdgeSet

◆ ICFGNodeSet

Constructor & Destructor Documentation

◆ SVFLoop()

◆ ~SVFLoop()

Member Function Documentation

◆ addBackICFGEdge()

◆ addEntryICFGEdge()

◆ addInICFGEdge()

◆ addOutICFGEdge()

◆ backICFGEdgesBegin()

◆ backICFGEdgesEnd()

◆ entryICFGEdgesBegin()

◆ entryICFGEdgesEnd()

◆ getLoopBound()

◆ ICFGNodesBegin()

◆ ICFGNodesEnd()

◆ inEdgesBegin()

◆ inEdgesEnd()

◆ isBackICFGEdge()

◆ isEntryICFGEdge()

◆ isInICFGEdge()

◆ isInLoop()

◆ isOutICFGEdge()

◆ outICFGEdgesBegin()

◆ outICFGEdgesEnd()

◆ setLoopBound()

Friends And Related Symbol Documentation

◆ SVFIRReader

◆ SVFIRWriter

Member Data Documentation

◆ backICFGEdges

◆ entryICFGEdges

◆ icfgNodes

◆ inICFGEdges

◆ loopBound

◆ outICFGEdges