mcrl2::data::enumerator_algorithm_with_iterator::iterator

Include file:

#include "mcrl2/data/enumerator_with_iterator.h

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

Filter mcrl2::data::enumerator_algorithm_with_iterator::iterator::accept

std::size_t mcrl2::data::enumerator_algorithm_with_iterator::iterator::count

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

enumerator_queue<EnumeratorListElement> *mcrl2::data::enumerator_algorithm_with_iterator::iterator::P

MutableSubstitution *mcrl2::data::enumerator_algorithm_with_iterator::iterator::sigma

Friends

friend class mcrl2::data::enumerator_algorithm_with_iterator::iterator::boost::iterator_core_access

Protected static member functions

static enumerator_queue<EnumeratorListElement> &default_deque()

Public member functions

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

iterator(Filter accept_ = Filter())

Protected member functions

const EnumeratorListElement &dereference() const

bool equal(iterator const &other) const

void increment()