CVC3  2.4.1
Classes | Public Member Functions | Private Attributes | List of all members
CVC3::CDMap< Key, Data, HashFcn >::iterator Class Reference

#include <cdmap.h>

Inheritance diagram for CVC3::CDMap< Key, Data, HashFcn >::iterator:

Classes

class  Proxy
 

Public Member Functions

 iterator (const typename std::hash_map< Key, CDOmap< Key, Data, HashFcn > *, HashFcn >::const_iterator &i)
 
 iterator (const iterator &i)
 
 iterator ()
 
bool operator== (const iterator &i) const
 
bool operator!= (const iterator &i) const
 
std::pair< const Key, Data > operator* () const
 
iteratoroperator++ ()
 
Proxy operator++ (int)
 

Private Attributes

std::hash_map< Key, CDOmap
< Key, Data, HashFcn >
*, HashFcn >::const_iterator 
d_it
 

Detailed Description

template<class Key, class Data, class HashFcn = std::hash<Key>>
class CVC3::CDMap< Key, Data, HashFcn >::iterator

Definition at line 205 of file cdmap.h.

Constructor & Destructor Documentation

template<class Key, class Data, class HashFcn = std::hash<Key>>
CVC3::CDMap< Key, Data, HashFcn >::iterator::iterator ( const typename std::hash_map< Key, CDOmap< Key, Data, HashFcn > *, HashFcn >::const_iterator &  i)
inline

Definition at line 211 of file cdmap.h.

template<class Key, class Data, class HashFcn = std::hash<Key>>
CVC3::CDMap< Key, Data, HashFcn >::iterator::iterator ( const iterator i)
inline

Definition at line 214 of file cdmap.h.

template<class Key, class Data, class HashFcn = std::hash<Key>>
CVC3::CDMap< Key, Data, HashFcn >::iterator::iterator ( )
inline

Definition at line 216 of file cdmap.h.

Member Function Documentation

template<class Key, class Data, class HashFcn = std::hash<Key>>
bool CVC3::CDMap< Key, Data, HashFcn >::iterator::operator== ( const iterator i) const
inline

Definition at line 218 of file cdmap.h.

References CVC3::CDMap< Key, Data, HashFcn >::iterator::d_it.

template<class Key, class Data, class HashFcn = std::hash<Key>>
bool CVC3::CDMap< Key, Data, HashFcn >::iterator::operator!= ( const iterator i) const
inline

Definition at line 221 of file cdmap.h.

References CVC3::CDMap< Key, Data, HashFcn >::iterator::d_it.

template<class Key, class Data, class HashFcn = std::hash<Key>>
std::pair<const Key, Data> CVC3::CDMap< Key, Data, HashFcn >::iterator::operator* ( ) const
inline

Definition at line 225 of file cdmap.h.

References CVC3::CDMap< Key, Data, HashFcn >::iterator::d_it.

template<class Key, class Data, class HashFcn = std::hash<Key>>
iterator& CVC3::CDMap< Key, Data, HashFcn >::iterator::operator++ ( )
inline

Definition at line 237 of file cdmap.h.

References CVC3::CDMap< Key, Data, HashFcn >::iterator::d_it.

template<class Key, class Data, class HashFcn = std::hash<Key>>
Proxy CVC3::CDMap< Key, Data, HashFcn >::iterator::operator++ ( int  )
inline

Definition at line 250 of file cdmap.h.

Member Data Documentation

template<class Key, class Data, class HashFcn = std::hash<Key>>
std::hash_map<Key,CDOmap<Key, Data, HashFcn>*,HashFcn>::const_iterator CVC3::CDMap< Key, Data, HashFcn >::iterator::d_it
private

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