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)
iterator &	operator++ ()

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

Private Member Functions
void	step ()

Private Attributes
Node *	root
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

stack_ty

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

iterator() [1/2]

template<class K , class V >

klee::MapOfSets< K, V >::iterator::iterator ( )

inline

Definition at line 152 of file MapOfSets.h.

iterator() [2/2]

template<class K , class V >

klee::MapOfSets< K, V >::iterator::iterator ( Node *  _n )

inline

Definition at line 154 of file MapOfSets.h.

References klee::MapOfSets< K, V >::Node::isEndOfSet, and klee::MapOfSets< K, V >::root.

Member Function Documentation

operator!=()

template<class K , class V >

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

inline

Definition at line 172 of file MapOfSets.h.

operator*()

template<class K , class V >

const std::pair< const std::set< K >, const V > klee::MapOfSets< K, V >::iterator::operator* ( )

inline

Definition at line 159 of file MapOfSets.h.

References klee::MapOfSets< K, V >::root, and klee::MapOfSets< K, V >::Node::value.

operator++()

template<class K , class V >

iterator & klee::MapOfSets< K, V >::iterator::operator++ ( )

inline

Definition at line 176 of file MapOfSets.h.

operator==()

template<class K , class V >

bool klee::MapOfSets< K, V >::iterator::operator== ( const iterator &  b )

inline

Definition at line 169 of file MapOfSets.h.

References klee::MapOfSets< K, V >::iterator::onEntry, and klee::MapOfSets< K, V >::iterator::stack.

step()

template<class K , class V >

void klee::MapOfSets< K, V >::iterator::step ( )

inlineprivate

Definition at line 114 of file MapOfSets.h.

References klee::MapOfSets< K, V >::Node::children, klee::MapOfSets< K, V >::Node::isEndOfSet, and klee::MapOfSets< K, V >::root.

Friends And Related Function Documentation

MapOfSets< K, V >

template<class K , class V >

friend class MapOfSets< K, V >

friend

Definition at line 107 of file MapOfSets.h.

Member Data Documentation

onEntry

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==().

root

template<class K , class V >

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

private

Definition at line 110 of file MapOfSets.h.

stack

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:

• /Users/cristic/klee/include/klee/ADT/MapOfSets.h