SVF::CondVar< Cond > Class Template Reference

#include <ConditionalPT.h>

Public Member Functions
	CondVar (const Cond &cond, NodeID id)
	Constructor.
	CondVar (const CondVar &conVar)
	Copy constructor.
	CondVar ()
	Default constructor.
	~CondVar ()
CondVar &	operator= (const CondVar &rhs)
bool	operator< (const CondVar &rhs) const
const Cond &	get_cond () const
NodeID	get_id () const
std::string	toString () const
bool	operator== (const CondVar &rhs) const
bool	operator!= (const CondVar &rhs) const

Private Attributes
Cond	m_cond
NodeID	m_id

Friends
OutStream &	operator<< (OutStream &o, const CondVar< Cond > &cvar)

Detailed Description

template<class Cond>
class SVF::CondVar< Cond >

Conditional Variable (c,v) A context/path condition A variable NodeID

Definition at line 46 of file ConditionalPT.h.

Constructor & Destructor Documentation

CondVar() [1/3]

template<class Cond>

SVF::CondVar< Cond >::CondVar ( const Cond & cond, NodeID id )

inline

Constructor.

Definition at line 50 of file ConditionalPT.h.

                                         : m_cond(cond),m_id(id)
    {
    }

CondVar() [2/3]

template<class Cond>

SVF::CondVar< Cond >::CondVar ( const CondVar< Cond > & conVar )

inline

Copy constructor.

Definition at line 54 of file ConditionalPT.h.

                                   : m_cond(conVar.m_cond), m_id(conVar.m_id)
    {
    }

CondVar() [3/3]

template<class Cond>

SVF::CondVar< Cond >::CondVar ( )

inline

Default constructor.

Definition at line 58 of file ConditionalPT.h.

: m_cond(), m_id(0) {}

~CondVar()

template<class Cond>

SVF::CondVar< Cond >::~CondVar ( )

inline

Definition at line 60 of file ConditionalPT.h.

{}

Member Function Documentation

get_cond()

template<class Cond>

const Cond & SVF::CondVar< Cond >::get_cond ( ) const

inline

Definition at line 100 of file ConditionalPT.h.

    {
        return m_cond;
    }

get_id()

template<class Cond>

NodeID SVF::CondVar< Cond >::get_id ( ) const

inline

Definition at line 104 of file ConditionalPT.h.

    {
        return m_id;
    }

operator!=()

template<class Cond>

bool SVF::CondVar< Cond >::operator!= ( const CondVar< Cond > & rhs ) const

inline

Definition at line 71 of file ConditionalPT.h.

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

operator<()

template<class Cond>

bool SVF::CondVar< Cond >::operator< ( const CondVar< Cond > & rhs ) const

inline

Less than implementation.

Definition at line 92 of file ConditionalPT.h.

    {
        if(m_id != rhs.get_id())
            return m_id < rhs.get_id();
        else
            return m_cond < rhs.get_cond();
    }

operator=()

template<class Cond>

CondVar & SVF::CondVar< Cond >::operator= ( const CondVar< Cond > & rhs )

inline

Definition at line 78 of file ConditionalPT.h.

    {
        if(*this!=rhs)
        {
            m_cond = rhs.get_cond();
            m_id = rhs.get_id();
        }
        return *this;
    }

operator==()

template<class Cond>

bool SVF::CondVar< Cond >::operator== ( const CondVar< Cond > & rhs ) const

inline

Comparison between two elements.

Definition at line 66 of file ConditionalPT.h.

    {
        return (m_id == rhs.get_id() && m_cond == rhs.get_cond());
    }

toString()

template<class Cond>

std::string SVF::CondVar< Cond >::toString ( ) const

inline

Definition at line 109 of file ConditionalPT.h.

    {
        std::string str;
        std::stringstream rawstr(str);
        rawstr << "<" << m_id << " " << m_cond.toString() << "> ";
        return rawstr.str();
    }

Friends And Related Symbol Documentation

operator<<

template<class Cond>

OutStream & operator<< ( OutStream & o, const CondVar< Cond > & cvar )

friend

Definition at line 117 of file ConditionalPT.h.

    {
        o << cvar.toString();
        return o;
    }

Member Data Documentation

m_cond

template<class Cond>

Cond SVF::CondVar< Cond >::m_cond

private

Definition at line 123 of file ConditionalPT.h.

m_id

template<class Cond>

NodeID SVF::CondVar< Cond >::m_id

private

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