mcrl2::lps::next_state_generator::iterator

Include file:

#include "mcrl2/lps/next_state_generator.h
class mcrl2::lps::next_state_generator::iterator

Protected attributes

substitution_t *m_base_substitution
bool m_cached
bool m_caching
summand_enumeration_t::iterator m_enumeration_cache_end
summand_enumeration_t::iterator m_enumeration_cache_iterator
condition_arguments_t m_enumeration_cache_key
enumerator_iterator_t m_enumeration_iterator
summand_enumeration_t m_enumeration_log
enumerator_queue_t *m_enumeration_queue
next_state_generator *m_generator
bool m_single_summand
std::size_t m_single_summand_index
lps::state m_state
substitution_t *m_substitution
summand_t *m_summand
std::vector<std::size_t>::iterator m_summand_iterator
std::vector<std::size_t>::iterator m_summand_iterator_end
atermpp::detail::shared_subset<summand_t>::iterator m_summand_subset_iterator
transition_t m_transition
bool m_use_summand_pruning

Friends

friend class boost::iterator_core_access

Protected member functions

void enumerate(const data::variable_list &variables, const data::data_expression &phi, data::mutable_indexed_substitution<> &sigma)

Enumerate <variables, phi> with substitution sigma.

Public member functions

iterator()
iterator(next_state_generator *generator, const lps::state &state, substitution_t *substitution, substitution_t *base_substitution, summand_subset_t &summand_subset, enumerator_queue_t *enumeration_queue)
iterator(next_state_generator *generator, const lps::state &state, substitution_t *substitution, substitution_t *base_substitution, std::size_t summand_index, enumerator_queue_t *enumeration_queue)
operator bool() const

Private member functions

const transition_t &dereference() const
bool equal(const iterator &other) const
void increment()
bool summand_finished()