#include <DPItem.h>
Definition at line 477 of file DPItem.h.
◆ CxtDPItem() [1/4]
Constructor.
Definition at line 484 of file DPItem.h.
DPItem(NodeID c)
Constructor.
◆ CxtDPItem() [2/4]
SVF::CxtDPItem::CxtDPItem |
( |
const CxtVar & |
var | ) |
|
|
inline |
◆ CxtDPItem() [3/4]
SVF::CxtDPItem::CxtDPItem |
( |
const CxtDPItem & |
dps | ) |
|
|
inline |
Copy constructor.
Definition at line 491 of file DPItem.h.
◆ CxtDPItem() [4/4]
SVF::CxtDPItem::CxtDPItem |
( |
CxtDPItem && |
dps | ) |
|
|
inlinenoexcept |
Move constructor.
Definition at line 496 of file DPItem.h.
constexpr std::remove_reference< T >::type && move(T &&t) noexcept
◆ ~CxtDPItem()
virtual SVF::CxtDPItem::~CxtDPItem |
( |
| ) |
|
|
inlinevirtual |
◆ getContexts()
const ContextCond& SVF::CxtDPItem::getContexts |
( |
| ) |
const |
|
inline |
◆ matchContext()
virtual bool SVF::CxtDPItem::matchContext |
( |
NodeID |
cxt | ) |
|
|
inlinevirtual |
Match context.
Definition at line 526 of file DPItem.h.
virtual bool matchContext(NodeID ctx)
Match context.
◆ operator!=()
bool SVF::CxtDPItem::operator!= |
( |
const CxtDPItem & |
rhs | ) |
const |
|
inline |
Overloading Operator!=.
Definition at line 556 of file DPItem.h.
558 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.
536 return cur < rhs.cur;
◆ operator=() [1/2]
Overloading Operator=.
Definition at line 541 of file DPItem.h.
◆ operator=() [2/2]
Move operator=.
Definition at line 500 of file DPItem.h.
DPItem & operator=(DPItem &&rhs) noexcept
Move operator=.
◆ operator==()
bool SVF::CxtDPItem::operator== |
( |
const CxtDPItem & |
rhs | ) |
const |
|
inline |
Overloading Operator==.
Definition at line 551 of file DPItem.h.
◆ pushContext()
void SVF::CxtDPItem::pushContext |
( |
NodeID |
cxt | ) |
|
|
inline |
Push context.
Definition at line 520 of file DPItem.h.
virtual bool pushContext(NodeID ctx)
Push context.
◆ context
The documentation for this class was generated from the following file:
- /home/runner/work/SVF/SVF/svf/include/Util/DPItem.h