klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::MapOfSets< K, V >::iterator Class Reference

#include <MapOfSets.h>

Collaboration diagram for klee::MapOfSets< K, V >::iterator:

Public Member Functions

 iterator ()
 
 iterator (Node *_n)
 
const std::pair< const
std::set< K >, const V > 
operator* ()
 
bool operator== (const iterator &b)
 
bool operator!= (const iterator &b)
 
iteratoroperator++ ()
 

Private Types

typedef std::vector< typename
std::map< K, Node >::iterator
stack_ty
 

Private Member Functions

void step ()
 

Private Attributes

Noderoot
 
bool onEntry
 
stack_ty stack
 

Friends

class MapOfSets< K, V >
 

Detailed Description

template<class K, class V>
class klee::MapOfSets< K, V >::iterator

Definition at line 106 of file MapOfSets.h.

Member Typedef Documentation

template<class K, class V>
typedef std::vector< typename std::map<K, Node>::iterator > klee::MapOfSets< K, V >::iterator::stack_ty
private

Definition at line 107 of file MapOfSets.h.

Constructor & Destructor Documentation

template<class K, class V>
klee::MapOfSets< K, V >::iterator::iterator ( )
inline

Definition at line 152 of file MapOfSets.h.

template<class K, class V>
klee::MapOfSets< K, V >::iterator::iterator ( Node _n)
inline

Member Function Documentation

template<class K, class V>
bool klee::MapOfSets< K, V >::iterator::operator!= ( const iterator b)
inline

Definition at line 172 of file MapOfSets.h.

template<class K, class V>
const std::pair<const std::set<K>, const V> klee::MapOfSets< K, V >::iterator::operator* ( )
inline
template<class K, class V>
iterator& klee::MapOfSets< K, V >::iterator::operator++ ( )
inline

Definition at line 176 of file MapOfSets.h.

template<class K, class V>
bool klee::MapOfSets< K, V >::iterator::operator== ( const iterator b)
inline
template<class K, class V>
void klee::MapOfSets< K, V >::iterator::step ( )
inlineprivate

Friends And Related Function Documentation

template<class K, class V>
friend class MapOfSets< K, V >
friend

Definition at line 108 of file MapOfSets.h.

Member Data Documentation

template<class K, class V>
bool klee::MapOfSets< K, V >::iterator::onEntry
private

Definition at line 111 of file MapOfSets.h.

Referenced by klee::MapOfSets< K, V >::iterator::operator==().

template<class K, class V>
Node* klee::MapOfSets< K, V >::iterator::root
private

Definition at line 110 of file MapOfSets.h.

template<class K, class V>
stack_ty klee::MapOfSets< K, V >::iterator::stack
private

Definition at line 112 of file MapOfSets.h.

Referenced by klee::MapOfSets< K, V >::iterator::operator==().


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