ana::worklist::key_t Class Reference

Collaboration diagram for ana::worklist::key_t:

Public Member Functions
	key_t (const worklist &w, exploded_node *enode)
bool	operator< (const key_t &other) const
bool	operator== (const key_t &other) const
bool	operator> (const key_t &other) const

Private Member Functions
int	get_scc_id (const exploded_node *enode) const

Static Private Member Functions
static int	cmp (const key_t &ka, const key_t &kb)

Private Attributes
const worklist &	m_worklist
exploded_node *	m_enode

Constructor & Destructor Documentation

key_t()

ana::worklist::key_t::key_t ( const worklist & w, exploded_node * enode )

inline

Member Function Documentation

cmp()

static int ana::worklist::key_t::cmp ( const key_t & ka, const key_t & kb )

staticprivate

Referenced by operator<(), and operator==().

get_scc_id()

int ana::worklist::key_t::get_scc_id ( const exploded_node * enode ) const

inlineprivate

References ana::strongly_connected_components::get_scc_id(), ana::exploded_node::get_supernode(), ana::supernode::m_index, ana::worklist::m_scc, m_worklist, and NULL.

operator<()

bool ana::worklist::key_t::operator< ( const key_t & other ) const

inline

References cmp().

operator==()

bool ana::worklist::key_t::operator== ( const key_t & other ) const

inline

References cmp().

operator>()

bool ana::worklist::key_t::operator> ( const key_t & other ) const

inline

Field Documentation

m_enode

exploded_node* ana::worklist::key_t::m_enode

private

m_worklist

const worklist& ana::worklist::key_t::m_worklist

private

Referenced by get_scc_id().

---

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

• exploded-graph.h