mcrl2::data::enumerator_algorithm_with_iterator::iterator
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/data/enumerator_with_iterator.h

.. cpp:class:: mcrl2::data::enumerator_algorithm_with_iterator::iterator

  A class to enumerate solutions for terms. 

  Solutions are presented as data_expression_lists of the same length as the list of variables for which a solution is sought. 

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: Filter mcrl2::data::enumerator_algorithm_with_iterator::iterator::accept
  
  

  

.. cpp:member:: std::size_t mcrl2::data::enumerator_algorithm_with_iterator::iterator::count
  
  

  

.. cpp:member:: enumerator_algorithm_with_iterator< Rewriter, EnumeratorListElement, Filter, DataRewriter, MutableSubstitution > * mcrl2::data::enumerator_algorithm_with_iterator::iterator::E
  
  

  

.. cpp:member:: enumerator_queue< EnumeratorListElement > * mcrl2::data::enumerator_algorithm_with_iterator::iterator::P
  
  

  

.. cpp:member:: MutableSubstitution * mcrl2::data::enumerator_algorithm_with_iterator::iterator::sigma
  
  

  

Friends
-------------------------------------------------------------------------------

friend class :cpp:type:`mcrl2::data::enumerator_algorithm_with_iterator::iterator::boost::iterator_core_access`
  
  

  

Protected static member functions
-------------------------------------------------------------------------------

.. cpp:function:: static enumerator_queue<EnumeratorListElement>& default_deque()
  
  

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: iterator(enumerator_algorithm_with_iterator< Rewriter, EnumeratorListElement, Filter, DataRewriter, MutableSubstitution > *E_, enumerator_queue< EnumeratorListElement > *P_, MutableSubstitution *sigma_, Filter accept_=Filter())
  
  

  

.. cpp:function:: iterator(Filter accept_=Filter())
  
  

  

Protected member functions
-------------------------------------------------------------------------------

.. cpp:function:: const EnumeratorListElement& dereference() const
  
  

  

.. cpp:function:: bool equal(iterator const &other) const
  
  

  

.. cpp:function:: void increment()