mcrl2::lts::detail::nondeterminism_detector
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/lts/state_space_generator.h

.. cpp:class:: mcrl2::lts::detail::nondeterminism_detector

  

  

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

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

  

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

  

.. cpp:member:: trace_constructor< Explorer > & mcrl2::lts::detail::nondeterminism_detector::m_trace_constructor
  
  

  

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

  

.. cpp:member:: std::map< lps::multi_action, lps::state > mcrl2::lts::detail::nondeterminism_detector::transitions
  
  

  

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

.. cpp:function:: bool detect_nondeterminism(const lps::state &s0, std::size_t s0_index, const lps::multi_action &a, const lps::state &s1)
  
  

  

.. cpp:function:: nondeterminism_detector(trace_constructor< Explorer > &trace_constructor_, const std::string &filename_prefix_, std::size_t max_trace_count=0)
  
  

  

.. cpp:function:: void start_state()