klee::MapOfSets< K, V >::MapOfSets::iterator Class Reference

#include <MapOfSets.h>

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

[legend]

List of all members.

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

template<class K, class V>

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

Definition at line 107 of file MapOfSets.h.

---

Constructor & Destructor Documentation

template<class K, class V>

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

(

)

[inline]

Definition at line 152 of file MapOfSets.h.

template<class K, class V>

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

(

Node *

_n

)

[inline]

Definition at line 154 of file MapOfSets.h.

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

---

Member Function Documentation

template<class K, class V>

bool klee::MapOfSets< K, V >::MapOfSets::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 >::MapOfSets::iterator::operator*

(

)

[inline]

Definition at line 159 of file MapOfSets.h.

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

template<class K, class V>

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

(

)

[inline]

Definition at line 176 of file MapOfSets.h.

template<class K, class V>

bool klee::MapOfSets< K, V >::MapOfSets::iterator::operator==

(

const iterator &

b

)

[inline]

Definition at line 169 of file MapOfSets.h.

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

template<class K, class V>

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

(

)

[inline, private]

Definition at line 114 of file MapOfSets.h.

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

---

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 >::MapOfSets::iterator::onEntry [private]

Definition at line 111 of file MapOfSets.h.

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

template<class K, class V>

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

Definition at line 110 of file MapOfSets.h.

template<class K, class V>

stack_ty klee::MapOfSets< K, V >::MapOfSets::iterator::stack [private]

Definition at line 112 of file MapOfSets.h.

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

---

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

• include/klee/Internal/ADT/MapOfSets.h