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

#include <ImmutableTree.h>

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

Public Member Functions

 iterator (Node *_root, bool atBeginning)
 
 iterator (const iterator &i)
 
 ~iterator ()
 
iteratoroperator= (const iterator &b)
 
const value_typeoperator* ()
 
const value_typeoperator-> ()
 
bool operator== (const iterator &b)
 
bool operator!= (const iterator &b)
 
iteratoroperator-- ()
 
iteratoroperator++ ()
 

Private Attributes

Noderoot
 
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 140 of file ImmutableTree.h.

Constructor & Destructor Documentation

template<class K, class V, class KOV, class CMP>
klee::ImmutableTree< K, V, KOV, CMP >::iterator::iterator ( Node _root,
bool  atBeginning 
)
inline

Definition at line 147 of file ImmutableTree.h.

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

Here is the call graph for this function:

template<class K, class V, class KOV, class CMP>
klee::ImmutableTree< K, V, KOV, CMP >::iterator::iterator ( const iterator i)
inline

Definition at line 154 of file ImmutableTree.h.

template<class K, class V, class KOV, class CMP>
klee::ImmutableTree< K, V, KOV, CMP >::iterator::~iterator ( )
inline

Definition at line 157 of file ImmutableTree.h.

Member Function Documentation

template<class K, class V, class KOV, class CMP>
bool klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator!= ( const iterator b)
inline
template<class K, class V, class KOV, class CMP>
const value_type& klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator* ( )
inline
template<class K, class V, class KOV, class CMP>
iterator& klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator++ ( )
inline
template<class K, class V, class KOV, class CMP>
iterator& klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator-- ( )
inline
template<class K, class V, class KOV, class CMP>
const value_type* klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator-> ( )
inline
template<class K, class V, class KOV, class CMP>
iterator& klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator= ( const iterator b)
inline
template<class K, class V, class KOV, class CMP>
bool klee::ImmutableTree< K, V, KOV, CMP >::iterator::operator== ( const iterator b)
inline

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 141 of file ImmutableTree.h.

Member Data Documentation

template<class K, class V, class KOV, class CMP>
Node* klee::ImmutableTree< K, V, KOV, CMP >::iterator::root
private

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