atermpp::term_balanced_tree::iterator

Include file:

#include "mcrl2/atermpp/aterm_balanced_tree.h

class atermpp::term_balanced_tree::iterator

Private types

type atermpp::term_balanced_tree::iterator::Tree

typedef for term_balanced_tree< Term >

Friends

friend class atermpp::term_balanced_tree::iterator::boost::iterator_core_access

Private static attributes

constexpr std::size_t atermpp::term_balanced_tree::iterator::maximal_size_of_stack

Private attributes

unprotected_aterm atermpp::term_balanced_tree::iterator::m_stack

std::size_t atermpp::term_balanced_tree::iterator::m_top_of_stack

Private member functions

const Term &dereference() const

Dereference operator.

Returns: The value that the iterator references

bool equal(const iterator &other) const

Equality operator.

void increment()

Increments the iterator.

void initialise(const term_balanced_tree<Term> &tree)

Public member functions

iterator()

iterator(const iterator &other)

iterator(const term_balanced_tree<Term> &tree)