ana::binding_map::const_iterator Class Reference

#include <store.h>

Collaboration diagram for ana::binding_map::const_iterator:

Public Member Functions
	const_iterator (const binding_map &map, concrete_bindings_t::const_iterator concrete_iter, symbolic_bindings_t::const_iterator symbolic_iter)
bool	operator== (const const_iterator &other) const
bool	operator!= (const const_iterator &other) const
const_iterator &	operator++ ()
binding_pair	operator* ()
const svalue *	get_svalue () const

Private Attributes
const binding_map &	m_map
concrete_bindings_t::const_iterator	m_concrete
symbolic_bindings_t::const_iterator	m_symbolic

Constructor & Destructor Documentation

const_iterator()

ana::binding_map::const_iterator::const_iterator ( const binding_map & map, concrete_bindings_t::const_iterator concrete_iter, symbolic_bindings_t::const_iterator symbolic_iter )

inline

References ana::binding_map::binding_map(), m_concrete, m_map, m_symbolic, and map.

Referenced by operator!=(), operator++(), and operator==().

Member Function Documentation

get_svalue()

const svalue * ana::binding_map::const_iterator::get_svalue

(

)

const

operator!=()

bool ana::binding_map::const_iterator::operator!= ( const const_iterator & other ) const

inline

References const_iterator().

operator*()

binding_pair ana::binding_map::const_iterator::operator*

(

)

operator++()

const_iterator & ana::binding_map::const_iterator::operator++

(

)

References const_iterator().

operator==()

bool ana::binding_map::const_iterator::operator==

(

const const_iterator &

other

)

const

References const_iterator().

Field Documentation

m_concrete

concrete_bindings_t::const_iterator ana::binding_map::const_iterator::m_concrete

private

Referenced by const_iterator().

m_map

const binding_map& ana::binding_map::const_iterator::m_map

private

Referenced by const_iterator().

m_symbolic

symbolic_bindings_t::const_iterator ana::binding_map::const_iterator::m_symbolic

private

Referenced by const_iterator().

---

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

• store.h