mcrl2::lts::detail::divergence_detector
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/lts/state_space_generator.h

.. cpp:class:: mcrl2::lts::detail::divergence_detector

  

  

Public types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::lts::detail::divergence_detector::last_discovered_type

  typedef for :cpp:type:`typename std::conditional\< Explorer::is_stochastic, std::forward_list\< lps::state >, lps::state >::type`
  
  

  

.. cpp:type:: mcrl2::lts::detail::divergence_detector::state_index_type

  typedef for :cpp:type:`typename Explorer::state_index_type`
  
  

  

.. cpp:type:: mcrl2::lts::detail::divergence_detector::state_type

  typedef for :cpp:type:`typename Explorer::state_type`
  
  

  

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: std::mutex mcrl2::lts::detail::divergence_detector::divergence_detector_mutex
  
  

  

.. cpp:member:: Explorer & mcrl2::lts::detail::divergence_detector::explorer
  
  

  

.. cpp:member:: const std::string & mcrl2::lts::detail::divergence_detector::filename_prefix
  
  

  

.. cpp:member:: std::vector< lps::explorer_summand > mcrl2::lts::detail::divergence_detector::m_confluent_summands
  
  

  

.. cpp:member:: utilities::unordered_map< lps::state, std::size_t > mcrl2::lts::detail::divergence_detector::m_divergent_states
  
  

  

.. cpp:member:: trace_constructor< Explorer > mcrl2::lts::detail::divergence_detector::m_local_trace_constructor
  
  

  

.. cpp:member:: std::size_t mcrl2::lts::detail::divergence_detector::m_max_trace_count
  
  

  

.. cpp:member:: std::vector< lps::explorer_summand > mcrl2::lts::detail::divergence_detector::m_regular_summands
  
  

  

.. cpp:member:: std::size_t mcrl2::lts::detail::divergence_detector::m_trace_count
  
  

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: bool detect_divergence(const lps::state &s, std::size_t s_index, trace_constructor< Explorer > &global_trace_constructor, bool dfs_recursive=false)
  
  

  

.. cpp:function:: divergence_detector(Explorer &explorer_, const std::set< core::identifier_string > &actions, const std::string &filename_prefix_, std::size_t max_trace_count)