#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.
bool	test_and_set (const Element &var)
	Return true if the element is added.
bool	test (const Element &var) const
	Return true if the element is in the set.
void	set (const Element &var)
	Add the element into set.
void	reset (const Element &var)
	Remove var from the set.
bool	empty () const
	Set size.
unsigned	size () const
unsigned	count () const
void	clear ()
	Clear set.
iterator	begin ()
	Iterators.
iterator	end ()
iterator	begin () const
iterator	end () const
bool	operator\|= (const CondStdSet< Element > &rhs)
	Overload operators.
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.

Private Types
typedef OrderedSet< Element >	ElementSet

Private Attributes
ElementSet	elements

Detailed Description

template<class Element>
class SVF::CondStdSet< Element >

Conditional variable set

Definition at line 131 of file ConditionalPT.h.

Member Typedef Documentation

◆ const_iterator

template<class Element>

typedef OrderedSet<Element>::const_iterator SVF::CondStdSet< Element >::const_iterator

Definition at line 137 of file ConditionalPT.h.

◆ ElementSet

template<class Element>

typedef OrderedSet<Element> SVF::CondStdSet< Element >::ElementSet

private

Definition at line 133 of file ConditionalPT.h.

◆ iterator

template<class Element>

typedef OrderedSet<Element>::iterator SVF::CondStdSet< Element >::iterator

Definition at line 136 of file ConditionalPT.h.

Constructor & Destructor Documentation

◆ CondStdSet() [1/2]

template<class Element>

SVF::CondStdSet< Element >::CondStdSet ( )

inline

Definition at line 139 of file ConditionalPT.h.

139{}

◆ ~CondStdSet()

template<class Element>

SVF::CondStdSet< Element >::~CondStdSet ( )

inline

Definition at line 140 of file ConditionalPT.h.

140{}

◆ CondStdSet() [2/2]

template<class Element>

SVF::CondStdSet< Element >::CondStdSet ( const CondStdSet< Element > & cptsSet )

inline

Copy constructor.

Definition at line 143 of file ConditionalPT.h.

                                                   : elements(cptsSet.getElementSet())
    {
    }

Member Function Documentation

◆ begin() [1/2]

template<class Element>

iterator SVF::CondStdSet< Element >::begin ( )

inline

Iterators.

Definition at line 192 of file ConditionalPT.h.

    {
        return elements.begin();
    }

◆ begin() [2/2]

template<class Element>

iterator SVF::CondStdSet< Element >::begin ( ) const

inline

Definition at line 200 of file ConditionalPT.h.

    {
        return elements.begin();
    }

◆ checkAndRemap()

template<class Element>

void SVF::CondStdSet< Element >::checkAndRemap ( void ) const

inline

TODO: dummy to use for PointsTo in the various PTData.

Definition at line 293 of file ConditionalPT.h.

293{ }

◆ clear()

template<class Element>

void SVF::CondStdSet< Element >::clear ( )

inline

Clear set.

Definition at line 185 of file ConditionalPT.h.

    {
        elements.clear();
    }

◆ count()

template<class Element>

unsigned SVF::CondStdSet< Element >::count ( ) const

inline

Definition at line 178 of file ConditionalPT.h.

    {
        return size();
    }

◆ empty()

template<class Element>

bool SVF::CondStdSet< Element >::empty ( ) const

inline

Set size.

Definition at line 170 of file ConditionalPT.h.

    {
        return elements.empty();
    }

◆ end() [1/2]

template<class Element>

iterator SVF::CondStdSet< Element >::end ( )

inline

Definition at line 196 of file ConditionalPT.h.

    {
        return elements.end();
    }

◆ end() [2/2]

template<class Element>

iterator SVF::CondStdSet< Element >::end ( ) const

inline

Definition at line 204 of file ConditionalPT.h.

    {
        return elements.end();
    }

◆ getElementSet()

template<class Element>

const ElementSet & SVF::CondStdSet< Element >::getElementSet ( ) const

inline

Definition at line 287 of file ConditionalPT.h.

    {
        return elements;
    }

◆ intersects()

template<class Element>

bool SVF::CondStdSet< Element >::intersects ( const CondStdSet< Element > & rhs ) const

inline

Return TRUE if this and RHS share common elements.

Definition at line 261 of file ConditionalPT.h.

    {
        if (empty() && rhs.empty())
            return false;
 
        for (const_iterator i = rhs.begin(); i != rhs.end(); ++i)
        {
            if (elements.find(*i) != elements.end())
                return true;
        }
        return false;
    }

◆ operator!=()

template<class Element>

bool SVF::CondStdSet< Element >::operator!= ( const CondStdSet< Element > & rhs ) const

inline

Definition at line 236 of file ConditionalPT.h.

    {
        return elements!=rhs.getElementSet();
    }

◆ operator&=()

template<class Element>

bool SVF::CondStdSet< Element >::operator&= ( const CondStdSet< Element > & rhs )

inline

Definition at line 221 of file ConditionalPT.h.

    {
        if(rhs.empty() || (*this == rhs))
            return false;
        bool changed = false;
        for (const_iterator i = rhs.begin(); i != rhs.end(); ++i)
        {
            if (elements.find(*i) == elements.end())
            {
                elements.erase(*i);
                changed = true;
            }
        }
        return changed;
    }

◆ operator<()

template<class Element>

bool SVF::CondStdSet< Element >::operator< ( const CondStdSet< Element > & rhs ) const

inline

Definition at line 252 of file ConditionalPT.h.

    {
        return elements < rhs.getElementSet();
    }

◆ operator=()

template<class Element>

CondStdSet< Element > & SVF::CondStdSet< Element >::operator= ( const CondStdSet< Element > & rhs )

inline

Definition at line 244 of file ConditionalPT.h.

    {
        if(*this!=rhs)
        {
            elements = rhs.getElementSet();
        }
        return *this;
    }

◆ operator==()

template<class Element>

bool SVF::CondStdSet< Element >::operator== ( const CondStdSet< Element > & rhs ) const

inline

Definition at line 240 of file ConditionalPT.h.

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

◆ operator|=()

template<class Element>

bool SVF::CondStdSet< Element >::operator|= ( const CondStdSet< Element > & rhs )

inline

Overload operators.

Definition at line 212 of file ConditionalPT.h.

    {
        const ElementSet& rhsElementSet = rhs.getElementSet();
        if(rhsElementSet.empty() || (*this==rhs))
            return false;
        u32_t oldSize = elements.size();
        elements.insert(rhsElementSet.begin(),rhsElementSet.end());
        return oldSize!=elements.size();
    }

◆ reset()

template<class Element>

void SVF::CondStdSet< Element >::reset ( const Element & var )

inline

Remove var from the set.

Definition at line 163 of file ConditionalPT.h.

    {
        elements.erase(var);
    }

◆ set()

template<class Element>

void SVF::CondStdSet< Element >::set ( const Element & var )

inline

Add the element into set.

Definition at line 158 of file ConditionalPT.h.

    {
        elements.insert(var);
    }

◆ size()

template<class Element>

unsigned SVF::CondStdSet< Element >::size ( ) const

inline

Definition at line 174 of file ConditionalPT.h.

    {
        return elements.size();
    }

◆ test()

template<class Element>

bool SVF::CondStdSet< Element >::test ( const Element & var ) const

inline

Return true if the element is in the set.

Definition at line 153 of file ConditionalPT.h.

    {
        return (elements.find(var) != elements.end());
    }

◆ test_and_set()

template<class Element>

bool SVF::CondStdSet< Element >::test_and_set ( const Element & var )

inline

Return true if the element is added.

Definition at line 148 of file ConditionalPT.h.

    {
        return elements.insert(var).second;
    }

◆ toString()

template<class Element>

std::string SVF::CondStdSet< Element >::toString ( ) const

inline

Definition at line 274 of file ConditionalPT.h.

    {
        std::string str;
        std::stringstream rawstr(str);
        rawstr << "{ ";
        for (const_iterator i = elements.begin(); i != elements.end(); ++i)
        {
            rawstr << (*i).toString() << " ";
        }
        rawstr << "} ";
        return rawstr.str();
    }

Member Data Documentation

◆ elements

template<class Element>

ElementSet SVF::CondStdSet< Element >::elements

private

Definition at line 296 of file ConditionalPT.h.

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

/home/runner/work/SVF/SVF/svf/include/MemoryModel/ConditionalPT.h

Public Types

Public Member Functions

Private Types

Private Attributes

Detailed Description

Member Typedef Documentation

◆ const_iterator

◆ ElementSet

◆ iterator

Constructor & Destructor Documentation

◆ CondStdSet() [1/2]

◆ ~CondStdSet()

◆ CondStdSet() [2/2]

Member Function Documentation

◆ begin() [1/2]

◆ begin() [2/2]

◆ checkAndRemap()

◆ clear()

◆ count()

◆ empty()

◆ end() [1/2]

◆ end() [2/2]

◆ getElementSet()

◆ intersects()

◆ operator!=()

◆ operator&=()

◆ operator<()

◆ operator=()

◆ operator==()

◆ operator|=()

◆ reset()

◆ set()

◆ size()

◆ test()

◆ test_and_set()

◆ toString()

Member Data Documentation

◆ elements