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 traits

typedef for std::iterator_traits< int * >

Public types

type difference_type

typedef for ptrdiff_t

type iterator_category

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

type pointer

typedef for const data_expression *

type reference

typedef for const data_expression &

type value_type

typedef for data_expression

Protected attributes

Iterator m_it
pointer m_prepend

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(Iterator it, pointer prepend = nullptr)
term_appl_prepend_iterator(const term_appl_prepend_iterator &other)