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 *mcrl2::lps::next_state_generator::iterator::m_base_substitution

bool mcrl2::lps::next_state_generator::iterator::m_cached

bool mcrl2::lps::next_state_generator::iterator::m_caching

summand_enumeration_t::iterator mcrl2::lps::next_state_generator::iterator::m_enumeration_cache_end

summand_enumeration_t::iterator mcrl2::lps::next_state_generator::iterator::m_enumeration_cache_iterator

condition_arguments_t mcrl2::lps::next_state_generator::iterator::m_enumeration_cache_key

enumerator_iterator_t mcrl2::lps::next_state_generator::iterator::m_enumeration_iterator

summand_enumeration_t mcrl2::lps::next_state_generator::iterator::m_enumeration_log

enumerator_queue_t *mcrl2::lps::next_state_generator::iterator::m_enumeration_queue

next_state_generator *mcrl2::lps::next_state_generator::iterator::m_generator

bool mcrl2::lps::next_state_generator::iterator::m_single_summand

std::size_t mcrl2::lps::next_state_generator::iterator::m_single_summand_index

lps::state mcrl2::lps::next_state_generator::iterator::m_state

substitution_t *mcrl2::lps::next_state_generator::iterator::m_substitution

summand_t *mcrl2::lps::next_state_generator::iterator::m_summand

std::vector<std::size_t>::iterator mcrl2::lps::next_state_generator::iterator::m_summand_iterator

std::vector<std::size_t>::iterator mcrl2::lps::next_state_generator::iterator::m_summand_iterator_end

atermpp::detail::shared_subset<summand_t>::iterator mcrl2::lps::next_state_generator::iterator::m_summand_subset_iterator

transition_t mcrl2::lps::next_state_generator::iterator::m_transition

bool mcrl2::lps::next_state_generator::iterator::m_use_summand_pruning

Friends

friend class mcrl2::lps::next_state_generator::iterator::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, std::size_t summand_index, enumerator_queue_t *enumeration_queue)

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)

operator bool() const

Private member functions

const transition_t &dereference() const

bool equal(const iterator &other) const

void increment()

bool summand_finished()