SVF::CxtDPItem Class Reference

#include <DPItem.h>

Inheritance diagram for SVF::CxtDPItem:

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

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
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 478 of file DPItem.h.

Constructor & Destructor Documentation

CxtDPItem() [1/4]

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

inline

Constructor.

Definition at line 485 of file DPItem.h.

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

CxtDPItem() [2/4]

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

inline

Definition at line 488 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 492 of file DPItem.h.

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

CxtDPItem() [4/4]

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

inlinenoexcept

Move constructor.

Definition at line 497 of file DPItem.h.

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

~CxtDPItem()

virtual SVF::CxtDPItem::~CxtDPItem ( )

inlinevirtual

Destructor.

Definition at line 511 of file DPItem.h.

    {
    }

Member Function Documentation

getContexts()

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

inline

Get context.

Definition at line 516 of file DPItem.h.

    {
        return context;
    }

matchContext()

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

inlinevirtual

Match context.

Definition at line 527 of file DPItem.h.

    {
        return context.matchContext(cxt);
    }

operator!=()

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

inline

Overloading Operator!=.

Definition at line 557 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 534 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 542 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 501 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 552 of file DPItem.h.

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

pushContext()

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

inline

Push context.

Definition at line 521 of file DPItem.h.

    {
        context.pushContext(cxt);
    }

Member Data Documentation

context

ContextCond SVF::CxtDPItem::context

private

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