mcrl2::data::detail::term_appl_prepend_iterator =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/data/application.h .. cpp:class:: mcrl2::data::detail::term_appl_prepend_iterator Private types ------------------------------------------------------------------------------- .. cpp:type:: mcrl2::data::detail::term_appl_prepend_iterator::traits typedef for :cpp:type:`std::iterator_traits\< int * >` Public types ------------------------------------------------------------------------------- .. cpp:type:: mcrl2::data::detail::term_appl_prepend_iterator::difference_type typedef for :cpp:type:`ptrdiff_t` .. cpp:type:: mcrl2::data::detail::term_appl_prepend_iterator::iterator_category typedef for :cpp:type:`prepend_iterator_tag_convertor\< traits::iterator_category >::iterator_category` .. cpp:type:: mcrl2::data::detail::term_appl_prepend_iterator::value_type typedef for :cpp:type:`data_expression` Public attributes ------------------------------------------------------------------------------- .. cpp:member:: const typedef data_expression * mcrl2::data::detail::term_appl_prepend_iterator::pointer .. cpp:member:: const typedef data_expression & mcrl2::data::detail::term_appl_prepend_iterator::reference Protected attributes ------------------------------------------------------------------------------- .. cpp:member:: Iterator mcrl2::data::detail::term_appl_prepend_iterator::m_it .. cpp:member:: pointer mcrl2::data::detail::term_appl_prepend_iterator::m_prepend Private member functions ------------------------------------------------------------------------------- .. cpp:function:: difference_type distance_to(const term_appl_prepend_iterator &other) const .. cpp:function:: term_appl_prepend_iterator operator+(difference_type n) const .. cpp:function:: term_appl_prepend_iterator operator++(int) .. cpp:function:: term_appl_prepend_iterator& operator+=(difference_type n) .. cpp:function:: difference_type operator-(const term_appl_prepend_iterator &other) const .. cpp:function:: term_appl_prepend_iterator operator-(difference_type n) const .. cpp:function:: term_appl_prepend_iterator& operator--() .. cpp:function:: term_appl_prepend_iterator& operator--(int) .. cpp:function:: term_appl_prepend_iterator& operator-=(difference_type n) .. cpp:function:: reference operator[](difference_type n) const Public member functions ------------------------------------------------------------------------------- .. cpp:function:: bool operator!=(const term_appl_prepend_iterator &other) const .. cpp:function:: reference operator*() const .. cpp:function:: term_appl_prepend_iterator& operator++() .. cpp:function:: pointer operator->() const .. cpp:function:: bool operator<(const term_appl_prepend_iterator &other) const .. cpp:function:: bool operator<=(const term_appl_prepend_iterator &other) const .. cpp:function:: term_appl_prepend_iterator& operator=(const term_appl_prepend_iterator &other) .. cpp:function:: bool operator==(const term_appl_prepend_iterator &other) const .. cpp:function:: bool operator>(const term_appl_prepend_iterator &other) const .. cpp:function:: bool operator>=(const term_appl_prepend_iterator &other) const .. cpp:function:: term_appl_prepend_iterator(const term_appl_prepend_iterator &other) .. cpp:function:: term_appl_prepend_iterator(Iterator it, pointer prepend=nullptr)