.. _index_traits.h:
  
mcrl2/process/index_traits.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/process/index_traits.h"

add your file description here. 



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

.. cpp:function:: void mcrl2::process::on_delete_process_identifier(const atermpp::aterm &t)
  
  

  

.. cpp:function:: void mcrl2::process::register_process_identifier_hooks()