Static Value-Flow Analysis
|
#include <ConditionalPT.h>
Public Types | |
typedef OrderedSet< Element >::iterator | iterator |
typedef OrderedSet< Element >::const_iterator | const_iterator |
Public Member Functions | |
CondStdSet () | |
~CondStdSet () | |
CondStdSet (const CondStdSet< Element > &cptsSet) | |
Copy constructor. More... | |
bool | test_and_set (const Element &var) |
Return true if the element is added. More... | |
bool | test (const Element &var) const |
Return true if the element is in the set. More... | |
void | set (const Element &var) |
Add the element into set. More... | |
void | reset (const Element &var) |
Remove var from the set. More... | |
bool | empty () const |
Set size. More... | |
unsigned | size () const |
unsigned | count () const |
void | clear () |
Clear set. More... | |
iterator | begin () |
Iterators. More... | |
iterator | end () |
iterator | begin () const |
iterator | end () const |
bool | operator|= (const CondStdSet< Element > &rhs) |
Overload operators. More... | |
bool | operator&= (const CondStdSet< Element > &rhs) |
bool | operator!= (const CondStdSet< Element > &rhs) const |
bool | operator== (const CondStdSet< Element > &rhs) const |
CondStdSet< Element > & | operator= (const CondStdSet< Element > &rhs) |
bool | operator< (const CondStdSet< Element > &rhs) const |
bool | intersects (const CondStdSet< Element > &rhs) const |
std::string | toString () const |
const ElementSet & | getElementSet () const |
void | checkAndRemap (void) const |
TODO: dummy to use for PointsTo in the various PTData. More... | |
Private Types | |
typedef OrderedSet< Element > | ElementSet |
Private Attributes | |
ElementSet | elements |
Conditional variable set
Definition at line 131 of file ConditionalPT.h.
typedef OrderedSet<Element>::const_iterator SVF::CondStdSet< Element >::const_iterator |
Definition at line 137 of file ConditionalPT.h.
|
private |
Definition at line 133 of file ConditionalPT.h.
typedef OrderedSet<Element>::iterator SVF::CondStdSet< Element >::iterator |
Definition at line 136 of file ConditionalPT.h.
|
inline |
Definition at line 139 of file ConditionalPT.h.
|
inline |
Definition at line 140 of file ConditionalPT.h.
|
inline |
|
inline |
|
inline |
Definition at line 200 of file ConditionalPT.h.
|
inline |
TODO: dummy to use for PointsTo in the various PTData.
Definition at line 293 of file ConditionalPT.h.
|
inline |
|
inline |
Definition at line 178 of file ConditionalPT.h.
|
inline |
|
inline |
Definition at line 196 of file ConditionalPT.h.
|
inline |
Definition at line 204 of file ConditionalPT.h.
|
inline |
Definition at line 287 of file ConditionalPT.h.
|
inline |
Return TRUE if this and RHS share common elements.
Definition at line 261 of file ConditionalPT.h.
|
inline |
Definition at line 236 of file ConditionalPT.h.
|
inline |
Definition at line 221 of file ConditionalPT.h.
|
inline |
Definition at line 252 of file ConditionalPT.h.
|
inline |
Definition at line 244 of file ConditionalPT.h.
|
inline |
Definition at line 240 of file ConditionalPT.h.
|
inline |
|
inline |
Remove var from the set.
Definition at line 163 of file ConditionalPT.h.
|
inline |
Add the element into set.
Definition at line 158 of file ConditionalPT.h.
|
inline |
Definition at line 174 of file ConditionalPT.h.
|
inline |
Return true if the element is in the set.
Definition at line 153 of file ConditionalPT.h.
|
inline |
Return true if the element is added.
Definition at line 148 of file ConditionalPT.h.
|
inline |
Definition at line 274 of file ConditionalPT.h.
|
private |
Definition at line 296 of file ConditionalPT.h.