mcrl2::lts::detail::trace_constructor
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/lts/state_space_generator.h

.. cpp:class:: mcrl2::lts::detail::trace_constructor

  

  

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

.. cpp:member:: std::map< lps::state, lps::state > mcrl2::lts::detail::trace_constructor::m_backpointers
  
  

  

.. cpp:member:: Explorer & mcrl2::lts::detail::trace_constructor::m_explorer
  
  

  

Protected member functions
-------------------------------------------------------------------------------

.. cpp:function:: lps::multi_action find_action(const lps::state &s0, const lps::state &s1)
  
  

  

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

.. cpp:function:: void add_edge(const lps::state &s0, const lps::state &s1)
  
  

  

.. cpp:function:: void clear()
  
  

  

.. cpp:function:: class trace construct_trace(const lps::state &s)
  
  

  

.. cpp:function:: Explorer& explorer()
  
  

  

.. cpp:function:: trace_constructor(Explorer &explorer_)