SVF::DPItem Class Reference

#include <DPItem.h>

Inheritance diagram for SVF::DPItem:

Public Member Functions
	DPItem (NodeID c)
	Constructor.
	DPItem (const DPItem &dps)
	Copy constructor.
	DPItem (DPItem &&dps) noexcept
	Move constructor.
DPItem &	operator= (DPItem &&rhs) noexcept
	Move operator=.
virtual	~DPItem ()
	Destructor.
NodeID	getCurNodeID () const
void	setCurNodeID (NodeID c)
bool	operator< (const DPItem &rhs) const
DPItem &	operator= (const DPItem &rhs)
	Overloading Operator=.
bool	operator== (const DPItem &rhs) const
	Overloading Operator==.
bool	operator!= (const DPItem &rhs) const
	Overloading Operator!=.
void	dump () const

Static Public Member Functions
static void	setMaxBudget (u32_t max)
	set max step budge per query
static u32_t	getMaxBudget ()

Protected Attributes
NodeID	cur

Static Protected Attributes
static u64_t	maximumBudget = ULONG_MAX - 1

Detailed Description

Dynamic programming item for CFL reachability search This serves as a base class for CFL-reachability formulation by matching parentheses. Extend this class for further sophisticated CFL-reachability items (e.g. field, flow, path)

Definition at line 44 of file DPItem.h.

Constructor & Destructor Documentation

DPItem() [1/3]

SVF::DPItem::DPItem ( NodeID  c )

inline

Constructor.

Definition at line 52 of file DPItem.h.

                     : cur(c)
    {
    }

DPItem() [2/3]

SVF::DPItem::DPItem ( const DPItem &  dps )

inline

Copy constructor.

Definition at line 56 of file DPItem.h.

                              : cur(dps.cur)
    {
    }

DPItem() [3/3]

SVF::DPItem::DPItem ( DPItem &&  dps )

inlinenoexcept

Move constructor.

Definition at line 60 of file DPItem.h.

                                  : cur(dps.cur)
    {
 
    }

~DPItem()

virtual SVF::DPItem::~DPItem ( )

inlinevirtual

Destructor.

Definition at line 74 of file DPItem.h.

    {
    }

Member Function Documentation

dump()

void SVF::DPItem::dump ( ) const

inline

Definition at line 120 of file DPItem.h.

    {
        SVFUtil::outs() << "var " << cur << "\n";
    }

getCurNodeID()

NodeID SVF::DPItem::getCurNodeID ( ) const

inline

Definition at line 77 of file DPItem.h.

    {
        return cur;
    }

getMaxBudget()

static u32_t SVF::DPItem::getMaxBudget ( )

inlinestatic

Definition at line 90 of file DPItem.h.

    {
        return maximumBudget;
    }

operator!=()

bool SVF::DPItem::operator!= ( const DPItem &  rhs ) const

inline

Overloading Operator!=.

Definition at line 115 of file DPItem.h.

    {
        return !(*this == rhs);
    }

operator<()

bool SVF::DPItem::operator< ( const DPItem &  rhs ) const

inline

Enable compare operator to avoid duplicated item insertion in map or set to be noted that two vectors can also overload operator()

Definition at line 96 of file DPItem.h.

    {
        return cur < rhs.cur;
    }

operator=() [1/2]

DPItem & SVF::DPItem::operator= ( const DPItem &  rhs )

inline

Overloading Operator=.

Definition at line 101 of file DPItem.h.

    {
        if(*this!=rhs)
        {
            cur = rhs.cur;
        }
        return *this;
    }

operator=() [2/2]

DPItem & SVF::DPItem::operator= ( DPItem &&  rhs )

inlinenoexcept

Move operator=.

Definition at line 65 of file DPItem.h.

    {
        if (this != &rhs)
        {
            cur = rhs.cur;
        }
        return *this;
    }

operator==()

bool SVF::DPItem::operator== ( const DPItem &  rhs ) const

inline

Overloading Operator==.

Definition at line 110 of file DPItem.h.

    {
        return (cur == rhs.cur);
    }

setCurNodeID()

void SVF::DPItem::setCurNodeID ( NodeID  c )

inline

Definition at line 81 of file DPItem.h.

    {
        cur = c;
    }

setMaxBudget()

static void SVF::DPItem::setMaxBudget ( u32_t  max )

inlinestatic

set max step budge per query

Definition at line 86 of file DPItem.h.

    {
        maximumBudget = max;
    }

Member Data Documentation

cur

NodeID SVF::DPItem::cur

protected

Definition at line 47 of file DPItem.h.

maximumBudget

u64_t DPItem::maximumBudget = ULONG_MAX - 1

staticprotected

Definition at line 48 of file DPItem.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Util/DPItem.h
• /home/runner/work/SVF/SVF/svf/lib/SABER/SaberCondAllocator.cpp