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
std::array< unprotected_aterm_core, maximal_size_of_stack >	m_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 286 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 294 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 383 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 387 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 393 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 305 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 312 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 330 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 354 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 296 of file aterm_balanced_tree.h.

Member Data Documentation

m_stack

template<typename Term >

std::array<unprotected_aterm_core, maximal_size_of_stack> atermpp::term_balanced_tree< Term >::iterator::m_stack

private

Definition at line 300 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 301 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 298 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