mcrl2::process::detail::tarjan_scc_algorithm
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/process/process_variable_strongly_connected_components.h

.. cpp:class:: mcrl2::process::detail::tarjan_scc_algorithm

  

  

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

.. cpp:type:: mcrl2::process::detail::tarjan_scc_algorithm::component

  typedef for :cpp:type:`std::vector\< std::size_t >`
  
  

  

.. cpp:type:: mcrl2::process::detail::tarjan_scc_algorithm::edge

  typedef for :cpp:type:`std::pair\< std::size_t, std::size_t >`
  
  

  

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

.. cpp:member:: std::vector< edge > mcrl2::process::detail::tarjan_scc_algorithm::E
  
  

  

.. cpp:member:: std::size_t mcrl2::process::detail::tarjan_scc_algorithm::N
  
  

  

.. cpp:member:: std::vector< component > mcrl2::process::detail::tarjan_scc_algorithm::result
  
  

  

.. cpp:member:: std::vector< vertex > mcrl2::process::detail::tarjan_scc_algorithm::V
  
  

  

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

.. cpp:function:: static std::size_t undefined()
  
  

  

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

.. cpp:function:: std::size_t strongconnect(std::size_t v_index, component &S, std::size_t index)
  
  

  

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

.. cpp:function:: const std::vector<component>& components() const
  
  

  

.. cpp:function:: void run(const std::vector< edge > &E_, std::size_t N_)
  
  

  

.. cpp:function:: tarjan_scc_algorithm()