mcrl2::data::detail::term_appl_prepend_iterator

Include file:

#include "mcrl2/data/application.h

class mcrl2::data::detail::term_appl_prepend_iterator

Private types

type mcrl2::data::detail::term_appl_prepend_iterator::traits

typedef for std::iterator_traits< int * >

Public types

type mcrl2::data::detail::term_appl_prepend_iterator::difference_type

typedef for ptrdiff_t

type mcrl2::data::detail::term_appl_prepend_iterator::iterator_category

typedef for prepend_iterator_tag_convertor< traits::iterator_category >::iterator_category

type mcrl2::data::detail::term_appl_prepend_iterator::value_type

typedef for data_expression

Public attributes

const typedef data_expression * mcrl2::data::detail::term_appl_prepend_iterator::pointer

const typedef data_expression & mcrl2::data::detail::term_appl_prepend_iterator::reference

Protected attributes

Iterator mcrl2::data::detail::term_appl_prepend_iterator::m_it

pointer mcrl2::data::detail::term_appl_prepend_iterator::m_prepend

Private member functions

difference_type distance_to(const term_appl_prepend_iterator &other) const

term_appl_prepend_iterator operator+(difference_type n) const

term_appl_prepend_iterator operator++(int)

term_appl_prepend_iterator &operator+=(difference_type n)

difference_type operator-(const term_appl_prepend_iterator &other) const

term_appl_prepend_iterator operator-(difference_type n) const

term_appl_prepend_iterator &operator--()

term_appl_prepend_iterator &operator--(int)

term_appl_prepend_iterator &operator-=(difference_type n)

reference operator[](difference_type n) const

Public member functions

bool operator!=(const term_appl_prepend_iterator &other) const

reference operator*() const

term_appl_prepend_iterator &operator++()

pointer operator->() const

bool operator<(const term_appl_prepend_iterator &other) const

bool operator<=(const term_appl_prepend_iterator &other) const

term_appl_prepend_iterator &operator=(const term_appl_prepend_iterator &other)

bool operator==(const term_appl_prepend_iterator &other) const

bool operator>(const term_appl_prepend_iterator &other) const

bool operator>=(const term_appl_prepend_iterator &other) const

term_appl_prepend_iterator(const term_appl_prepend_iterator &other)

term_appl_prepend_iterator(Iterator it, pointer prepend = nullptr)