.. _alphabet_bounded.h:
  
mcrl2/process/alphabet_bounded.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/process/alphabet_bounded.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::process::detail::alphabet_bounded_traverser`

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

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_bounded(const process_expression &x, const multi_action_name_set &A, const std::vector< process_equation > &equations)
  
  

  

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

.. cpp:function:: multi_action_name_set alphabet_bounded(const process_expression &x, const allow_set &A, const std::vector< process_equation > &equations, const std::map< process_identifier, multi_action_name_set > &cache)