Static Value-Flow Analysis
|
#include <SparseBitVector.h>
Classes | |
class | SparseBitVectorIterator |
Public Types | |
using | iterator = SparseBitVectorIterator |
Public Member Functions | |
SparseBitVector () | |
SparseBitVector (const SparseBitVector &RHS) | |
SparseBitVector (SparseBitVector &&RHS) noexcept | |
void | clear () |
SparseBitVector & | operator= (const SparseBitVector &RHS) |
SparseBitVector & | operator= (SparseBitVector &&RHS) |
bool | test (unsigned Idx) const |
void | reset (unsigned Idx) |
void | set (unsigned Idx) |
bool | test_and_set (unsigned Idx) |
bool | operator!= (const SparseBitVector &RHS) const |
bool | operator== (const SparseBitVector &RHS) const |
bool | operator|= (const SparseBitVector &RHS) |
bool | operator&= (const SparseBitVector &RHS) |
bool | intersectWithComplement (const SparseBitVector &RHS) |
bool | intersectWithComplement (const SparseBitVector< ElementSize > *RHS) const |
void | intersectWithComplement (const SparseBitVector< ElementSize > &RHS1, const SparseBitVector< ElementSize > &RHS2) |
void | intersectWithComplement (const SparseBitVector< ElementSize > *RHS1, const SparseBitVector< ElementSize > *RHS2) |
bool | intersects (const SparseBitVector< ElementSize > *RHS) const |
bool | intersects (const SparseBitVector< ElementSize > &RHS) const |
bool | contains (const SparseBitVector< ElementSize > &RHS) const |
int | find_first () const |
int | find_last () const |
bool | empty () const |
unsigned | count () const |
iterator | begin () const |
iterator | end () const |
Private Types | |
enum | { BITWORD_SIZE = SparseBitVectorElement<ElementSize>::BITWORD_SIZE } |
using | ElementList = std::list< SparseBitVectorElement< ElementSize > > |
using | ElementListIter = typename ElementList::iterator |
using | ElementListConstIter = typename ElementList::const_iterator |
Private Member Functions | |
ElementListIter | FindLowerBoundImpl (unsigned ElementIndex) const |
ElementListConstIter | FindLowerBoundConst (unsigned ElementIndex) const |
ElementListIter | FindLowerBound (unsigned ElementIndex) |
Private Attributes | |
ElementList | Elements |
ElementListIter | CurrElementIter |
Friends | |
class | SVFIRWriter |
class | SVFIRReader |
Definition at line 501 of file SparseBitVector.h.
|
private |
Definition at line 506 of file SparseBitVector.h.
|
private |
Definition at line 508 of file SparseBitVector.h.
|
private |
Definition at line 507 of file SparseBitVector.h.
using SVF::SparseBitVector< ElementSize >::iterator = SparseBitVectorIterator |
Definition at line 717 of file SparseBitVector.h.
|
private |
Enumerator | |
---|---|
BITWORD_SIZE |
Definition at line 509 of file SparseBitVector.h.
|
inline |
Definition at line 719 of file SparseBitVector.h.
|
inline |
Definition at line 721 of file SparseBitVector.h.
|
inlinenoexcept |
Definition at line 723 of file SparseBitVector.h.
|
inline |
Definition at line 1157 of file SparseBitVector.h.
|
inline |
Definition at line 727 of file SparseBitVector.h.
|
inline |
Definition at line 1115 of file SparseBitVector.h.
|
inline |
Definition at line 1146 of file SparseBitVector.h.
|
inline |
Definition at line 1141 of file SparseBitVector.h.
|
inline |
Definition at line 1162 of file SparseBitVector.h.
|
inline |
Definition at line 1123 of file SparseBitVector.h.
|
inline |
Definition at line 1132 of file SparseBitVector.h.
|
inlineprivate |
Definition at line 571 of file SparseBitVector.h.
|
inlineprivate |
Definition at line 567 of file SparseBitVector.h.
|
inlineprivate |
Definition at line 522 of file SparseBitVector.h.
|
inline |
Definition at line 1079 of file SparseBitVector.h.
|
inline |
Definition at line 1073 of file SparseBitVector.h.
|
inline |
Definition at line 947 of file SparseBitVector.h.
|
inline |
Definition at line 1012 of file SparseBitVector.h.
|
inline |
Definition at line 1005 of file SparseBitVector.h.
|
inline |
Definition at line 1067 of file SparseBitVector.h.
|
inline |
Definition at line 829 of file SparseBitVector.h.
|
inline |
Definition at line 886 of file SparseBitVector.h.
|
inline |
Definition at line 733 of file SparseBitVector.h.
|
inline |
Definition at line 742 of file SparseBitVector.h.
|
inline |
Definition at line 834 of file SparseBitVector.h.
|
inline |
Definition at line 849 of file SparseBitVector.h.
|
inline |
Definition at line 766 of file SparseBitVector.h.
|
inline |
Definition at line 789 of file SparseBitVector.h.
|
inline |
Definition at line 750 of file SparseBitVector.h.
|
inline |
Definition at line 818 of file SparseBitVector.h.
|
friend |
Definition at line 504 of file SparseBitVector.h.
|
friend |
Definition at line 503 of file SparseBitVector.h.
|
mutableprivate |
Definition at line 518 of file SparseBitVector.h.
|
private |
Definition at line 514 of file SparseBitVector.h.