Include file:
#include "mcrl2/lps/lpsreach.h
mcrl2::lps::
lpsreach_algorithm
¶mcrl2::lps::lpsreach_algorithm::
enumerator_element
¶typedef for data::enumerator_list_element_with_substitution<>
mcrl2::lps::lpsreach_algorithm::
ldd
¶typedef for sylvan::ldds::ldd
mcrl2::lps::lpsreach_algorithm::
m_data_index
¶mcrl2::lps::lpsreach_algorithm::
m_enumerator
¶mcrl2::lps::lpsreach_algorithm::
m_group_patterns
¶mcrl2::lps::lpsreach_algorithm::
m_id_generator
¶mcrl2::lps::lpsreach_algorithm::
m_initial_state
¶mcrl2::lps::lpsreach_algorithm::
m_n
¶mcrl2::lps::lpsreach_algorithm::
m_options
¶mcrl2::lps::lpsreach_algorithm::
m_process_parameters
¶mcrl2::lps::lpsreach_algorithm::
m_rewr
¶mcrl2::lps::lpsreach_algorithm::
m_sigma
¶mcrl2::lps::lpsreach_algorithm::
m_summand_groups
¶mcrl2::lps::lpsreach_algorithm::
m_summand_patterns
¶mcrl2::lps::lpsreach_algorithm::
m_variable_order
¶friend void mcrl2::lps::lpsreach_algorithm::lps::learn_successors_callback