.. _pbesinst_fatal_attractors.h:
  
mcrl2/pbes/pbesinst_fatal_attractors.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/pbes/pbesinst_fatal_attractors.h"

add your file description here. 



Functions
-------------------------------------------------------------------------------

.. cpp:function:: vertex_set mcrl2::pbes_system::detail::attr_min_rank_generic(const StructureGraph &G, vertex_set A, std::size_t alpha, const vertex_set &U, std::size_t j, Compare compare)
  
  

  

.. cpp:function:: vertex_set mcrl2::pbes_system::detail::attr_min_rank_original(const StructureGraph &G, vertex_set A, std::size_t alpha, const vertex_set &U, std::size_t j)
  
  

  

.. cpp:function:: deque_vertex_set mcrl2::pbes_system::detail::attr_min_rank_original_todo(const StructureGraph &G, const vertex_set &A, const vertex_set &U, std::size_t j)
  
  

  

.. cpp:function:: deque_vertex_set mcrl2::pbes_system::detail::attr_min_rank_todo_generic(const StructureGraph &G, const vertex_set &A, const vertex_set &U, std::size_t j, Compare compare)
  
  

  

.. cpp:function:: std::map<std::size_t, vertex_set> mcrl2::pbes_system::detail::compute_U_j_map(const StructureGraph &G, const vertex_set &V)
  
  

  

.. cpp:function:: void mcrl2::pbes_system::detail::fatal_attractors(const simple_structure_graph &G, std::array< vertex_set, 2 > &S, std::array< strategy_vector, 2 > &tau, std::size_t equation_count)
  
  

  

.. cpp:function:: void mcrl2::pbes_system::detail::fatal_attractors_generic(const simple_structure_graph &G, std::array< vertex_set, 2 > &S, std::array< strategy_vector, 2 > &tau, std::size_t equation_count, Compare compare)
  
  

  

.. cpp:function:: void mcrl2::pbes_system::detail::fatal_attractors_original(const simple_structure_graph &G, std::array< vertex_set, 2 > &S, std::array< strategy_vector, 2 > &tau, std::size_t equation_count)
  
  

  

.. cpp:function:: void mcrl2::pbes_system::detail::find_loops2(const simple_structure_graph &G, std::array< vertex_set, 2 > &S, std::array< strategy_vector, 2 > &tau, std::size_t equation_count)
  
  

  

.. cpp:function:: void mcrl2::pbes_system::detail::insert_in_rank_map(std::map< std::size_t, vertex_set > &U_rank_map, structure_graph::index_type u, std::size_t j, std::size_t n)