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 accept
std::size_t count
enumerator_algorithm_with_iterator<Rewriter, EnumeratorListElement, Filter, DataRewriter, MutableSubstitution> *E
enumerator_queue<EnumeratorListElement> *P
MutableSubstitution *sigma

Friends

friend class 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()