SVF::CxtDPItem Class Reference

#include <DPItem.h>

Inheritance diagram for SVF::CxtDPItem:

Public Member Functions
	CxtDPItem (NodeID c, const ContextCond &cxt)
	Constructor. More...
	CxtDPItem (const CxtVar &var)
	CxtDPItem (const CxtDPItem &dps)
	Copy constructor. More...
	CxtDPItem (CxtDPItem &&dps) noexcept
	Move constructor. More...
CxtDPItem &	operator= (CxtDPItem &&dps) noexcept
	Move operator=. More...
virtual	~CxtDPItem ()
	Destructor. More...
const ContextCond &	getContexts () const
	Get context. More...
void	pushContext (NodeID cxt)
	Push context. More...
virtual bool	matchContext (NodeID cxt)
	Match context. More...
bool	operator< (const CxtDPItem &rhs) const
CxtDPItem &	operator= (const CxtDPItem &rhs)
	Overloading Operator=. More...
bool	operator== (const CxtDPItem &rhs) const
	Overloading Operator==. More...
bool	operator!= (const CxtDPItem &rhs) const
	Overloading Operator!=. More...
Public Member Functions inherited from SVF::DPItem
	DPItem (NodeID c)
	Constructor. More...
	DPItem (const DPItem &dps)
	Copy constructor. More...
	DPItem (DPItem &&dps) noexcept
	Move constructor. More...
DPItem &	operator= (DPItem &&rhs) noexcept
	Move operator=. More...
virtual	~DPItem ()
	Destructor. More...
NodeID	getCurNodeID () const
void	setCurNodeID (NodeID c)
bool	operator< (const DPItem &rhs) const
DPItem &	operator= (const DPItem &rhs)
	Overloading Operator=. More...
bool	operator== (const DPItem &rhs) const
	Overloading Operator==. More...
bool	operator!= (const DPItem &rhs) const
	Overloading Operator!=. More...
void	dump () const

Private Attributes
ContextCond	context

Additional Inherited Members
Static Public Member Functions inherited from SVF::DPItem
static void	setMaxBudget (u32_t max)
	set max step budge per query More...
static u32_t	getMaxBudget ()
Protected Attributes inherited from SVF::DPItem
NodeID	cur
Static Protected Attributes inherited from SVF::DPItem
static u64_t	maximumBudget = ULONG_MAX - 1

Detailed Description

Definition at line 477 of file DPItem.h.

Constructor & Destructor Documentation

CxtDPItem() [1/4]

SVF::CxtDPItem::CxtDPItem ( NodeID  c, const ContextCond &  cxt  )

inline

Constructor.

Definition at line 484 of file DPItem.h.

                                                : DPItem(c),context(cxt)
    {
    }

CxtDPItem() [2/4]

SVF::CxtDPItem::CxtDPItem ( const CxtVar &  var )

inline

Definition at line 487 of file DPItem.h.

                                 : DPItem(var.get_id()),context(var.get_cond())
    {
    }

CxtDPItem() [3/4]

SVF::CxtDPItem::CxtDPItem ( const CxtDPItem &  dps )

inline

Copy constructor.

Definition at line 491 of file DPItem.h.

                                    :
        DPItem(dps.getCurNodeID()), context(dps.context)
    {
    }

CxtDPItem() [4/4]

SVF::CxtDPItem::CxtDPItem ( CxtDPItem &&  dps )

inlinenoexcept

Move constructor.

Definition at line 496 of file DPItem.h.

                                       : DPItem(dps), context(std::move(dps.context))
    {
    }

~CxtDPItem()

virtual SVF::CxtDPItem::~CxtDPItem ( )

inlinevirtual

Destructor.

Definition at line 510 of file DPItem.h.

    {
    }

Member Function Documentation

getContexts()

const ContextCond& SVF::CxtDPItem::getContexts ( ) const

inline

Get context.

Definition at line 515 of file DPItem.h.

    {
        return context;
    }

matchContext()

virtual bool SVF::CxtDPItem::matchContext ( NodeID  cxt )

inlinevirtual

Match context.

Definition at line 526 of file DPItem.h.

    {
        return context.matchContext(cxt);
    }

operator!=()

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

inline

Overloading Operator!=.

Definition at line 556 of file DPItem.h.

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

operator<()

bool SVF::CxtDPItem::operator< ( const CxtDPItem &  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 533 of file DPItem.h.

    {
        if (cur != rhs.cur)
            return cur < rhs.cur;
        else
            return context < rhs.context;
    }

operator=() [1/2]

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

inline

Overloading Operator=.

Definition at line 541 of file DPItem.h.

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

operator=() [2/2]

CxtDPItem& SVF::CxtDPItem::operator= ( CxtDPItem &&  dps )

inlinenoexcept

Move operator=.

Definition at line 500 of file DPItem.h.

    {
        if (this != &dps)
        {
            DPItem::operator=(dps);
            context = std::move(dps.context);
        }
        return *this;
    }

operator==()

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

inline

Overloading Operator==.

Definition at line 551 of file DPItem.h.

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

pushContext()

void SVF::CxtDPItem::pushContext ( NodeID  cxt )

inline

Push context.

Definition at line 520 of file DPItem.h.

    {
        context.pushContext(cxt);
    }

Member Data Documentation

context

ContextCond SVF::CxtDPItem::context

private

Definition at line 480 of file DPItem.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Util/DPItem.h