atermpp::term_balanced_tree< Term >::iterator Class Reference

#include <aterm_balanced_tree.h>

Inheritance diagram for atermpp::term_balanced_tree< Term >::iterator:

Public Member Functions
	iterator ()
	iterator (const term_balanced_tree< Term > &tree)
	iterator (const iterator &other)

Private Types
using	Tree = term_balanced_tree< Term >

Private Member Functions
const Term &	dereference () const
	Dereference operator.
bool	equal (const iterator &other) const
	Equality operator.
void	increment ()
	Increments the iterator.
void	initialise (const term_balanced_tree< Term > &tree)

Private Attributes
unprotected_aterm_core	m_stack [maximal_size_of_stack]
std::size_t	m_top_of_stack

Static Private Attributes
static constexpr std::size_t	maximal_size_of_stack = 20

Friends
class	boost::iterator_core_access

Detailed Description

template<typename Term>
class atermpp::term_balanced_tree< Term >::iterator

Definition at line 282 of file aterm_balanced_tree.h.

Member Typedef Documentation

Tree

template<typename Term >

using atermpp::term_balanced_tree< Term >::iterator::Tree = term_balanced_tree<Term>

private

Definition at line 290 of file aterm_balanced_tree.h.

Constructor & Destructor Documentation

iterator() [1/3]

template<typename Term >

atermpp::term_balanced_tree< Term >::iterator::iterator ( )

inline

Definition at line 379 of file aterm_balanced_tree.h.

iterator() [2/3]

template<typename Term >

atermpp::term_balanced_tree< Term >::iterator::iterator ( const term_balanced_tree< Term > &  tree )

inline

Definition at line 383 of file aterm_balanced_tree.h.

iterator() [3/3]

template<typename Term >

atermpp::term_balanced_tree< Term >::iterator::iterator ( const iterator &  other )

inline

Definition at line 389 of file aterm_balanced_tree.h.

Member Function Documentation

dereference()

template<typename Term >

const Term & atermpp::term_balanced_tree< Term >::iterator::dereference ( ) const

inlineprivate

Dereference operator.

Returns

The value that the iterator references

Definition at line 301 of file aterm_balanced_tree.h.

equal()

template<typename Term >

bool atermpp::term_balanced_tree< Term >::iterator::equal ( const iterator &  other ) const

inlineprivate

Equality operator.

Definition at line 308 of file aterm_balanced_tree.h.

increment()

template<typename Term >

void atermpp::term_balanced_tree< Term >::iterator::increment ( )

inlineprivate

Increments the iterator.

Definition at line 326 of file aterm_balanced_tree.h.

initialise()

template<typename Term >

void atermpp::term_balanced_tree< Term >::iterator::initialise ( const term_balanced_tree< Term > &  tree )

inlineprivate

Definition at line 350 of file aterm_balanced_tree.h.

Friends And Related Symbol Documentation

boost::iterator_core_access

template<typename Term >

friend class boost::iterator_core_access

friend

Definition at line 292 of file aterm_balanced_tree.h.

Member Data Documentation

m_stack

template<typename Term >

unprotected_aterm_core atermpp::term_balanced_tree< Term >::iterator::m_stack[maximal_size_of_stack]

private

Definition at line 296 of file aterm_balanced_tree.h.

m_top_of_stack

template<typename Term >

std::size_t atermpp::term_balanced_tree< Term >::iterator::m_top_of_stack

private

Definition at line 297 of file aterm_balanced_tree.h.

maximal_size_of_stack

template<typename Term >

constexpr std::size_t atermpp::term_balanced_tree< Term >::iterator::maximal_size_of_stack = 20

staticconstexprprivate

Definition at line 294 of file aterm_balanced_tree.h.

---

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

• atermpp/include/mcrl2/atermpp/aterm_balanced_tree.h