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)