klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator Class Reference

#include <ImmutableTree.h>

Collaboration diagram for klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator:

[legend]

List of all members.

Public Member Functions
	iterator (Node *_root, bool atBeginning)
	iterator (const iterator &i)
	~iterator ()
iterator &	operator= (const iterator &b)
const value_type &	operator* ()
const value_type *	operator-> ()
bool	operator== (const iterator &b)
bool	operator!= (const iterator &b)
iterator &	operator-- ()
iterator &	operator++ ()
Private Attributes
Node *	root
FixedStack< Node * >	stack
Friends
class	ImmutableTree< K, V, KOV, CMP >

---

Detailed Description

template<class K, class V, class KOV, class CMP>
class klee::ImmutableTree< K, V, KOV, CMP >::iterator

Definition at line 139 of file ImmutableTree.h.

---

Constructor & Destructor Documentation

template<class K, class V, class KOV, class CMP>

klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::iterator	(	Node *	_root,
		bool	atBeginning
	)			[inline]

Definition at line 146 of file ImmutableTree.h.

template<class K, class V, class KOV, class CMP>

klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::iterator

(

const iterator &

i

)

[inline]

Definition at line 153 of file ImmutableTree.h.

template<class K, class V, class KOV, class CMP>

klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::~iterator

(

)

[inline]

Definition at line 156 of file ImmutableTree.h.

---

Member Function Documentation

template<class K, class V, class KOV, class CMP>

bool klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::operator!=

(

const iterator &

b

)

[inline]

Definition at line 181 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::stack.

template<class K, class V, class KOV, class CMP>

const value_type& klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::operator*

(

)

[inline]

Definition at line 168 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::value.

template<class K, class V, class KOV, class CMP>

iterator& klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::operator++

(

)

[inline]

Definition at line 212 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::left.

template<class K, class V, class KOV, class CMP>

iterator& klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::operator--

(

)

[inline]

Definition at line 185 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::isTerminator(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::left, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::right.

Here is the call graph for this function:

template<class K, class V, class KOV, class CMP>

const value_type* klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::operator->

(

)

[inline]

Definition at line 173 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::value.

template<class K, class V, class KOV, class CMP>

iterator& klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::operator=

(

const iterator &

b

)

[inline]

Definition at line 160 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::decref(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::Node::incref(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::root, and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::stack.

Here is the call graph for this function:

template<class K, class V, class KOV, class CMP>

bool klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::operator==

(

const iterator &

b

)

[inline]

Definition at line 178 of file ImmutableTree.h.

References klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::stack.

---

Friends And Related Function Documentation

template<class K, class V, class KOV, class CMP>

friend class ImmutableTree< K, V, KOV, CMP > [friend]

Definition at line 140 of file ImmutableTree.h.

---

Member Data Documentation

template<class K, class V, class KOV, class CMP>

Node* klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::root [private]

Definition at line 142 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::operator=().

template<class K, class V, class KOV, class CMP>

FixedStack<Node*> klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::stack [private]

Definition at line 143 of file ImmutableTree.h.

Referenced by klee::ImmutableTree< K, V, KOV, CMP >::lower_bound(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::operator!=(), klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::operator=(), and klee::ImmutableTree< K, V, KOV, CMP >::ImmutableTree::iterator::operator==().

---

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

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