.. _alphabet_operations.h:
  
mcrl2/process/alphabet_operations.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/process/alphabet_operations.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::process::alphabet_operations::rename_inverse_apply`

Typedefs
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::process::alphabet_operations::rename_inverse_map

  typedef for :cpp:type:`std::map\< core::identifier_string, std::vector\< core::identifier_string > >`
  
  

  

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

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::allow(const action_name_multiset_list &V, const multi_action_name_set &A, bool A_includes_subsets=false)
  
  

  

.. cpp:function:: void mcrl2::process::alphabet_operations::apply_comm(const communication_expression &c, multi_action_name_set &A)
  
  

  

.. cpp:function:: std::pair<multi_action_name, multi_action_name> mcrl2::process::alphabet_operations::apply_comm_inverse(const communication_expression &x, const multi_action_name &alpha1, const multi_action_name &alpha2)
  
  

  

.. cpp:function:: void mcrl2::process::alphabet_operations::apply_comm_inverse(const communication_expression &gamma, multi_action_name_set &A)
  
  

  

.. cpp:function:: core::identifier_string mcrl2::process::alphabet_operations::apply_rename(const rename_expression_list &R, const core::identifier_string &x)
  
  

  

.. cpp:function:: multi_action_name mcrl2::process::alphabet_operations::apply_rename(const rename_expression_list &R, const multi_action_name &a)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::block(const core::identifier_string_list &B, const multi_action_name_set &A, bool A_includes_subsets=false)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::bounded_concat(const multi_action_name_set &A1, const multi_action_name_set &A2, const multi_action_name_set &A)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::bounded_merge(const multi_action_name_set &A1, const multi_action_name_set &A2, const multi_action_name_set &A)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::bounded_sync(const multi_action_name_set &A1, const multi_action_name_set &A2, const multi_action_name_set &A)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::comm(const communication_expression_list &C, const multi_action_name_set &A, bool=false)
  
  

  

.. cpp:function:: void mcrl2::process::alphabet_operations::comm_inverse(const communication_expression_list &C, const multi_action_name &alpha1, const multi_action_name &alpha2, multi_action_name_set &result)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::comm_inverse(const communication_expression_list &C, const multi_action_name_set &A, bool=false)
  
  

  

.. cpp:function:: std::set<core::identifier_string> mcrl2::process::alphabet_operations::comm_inverse(const communication_expression_list &C, const std::set< core::identifier_string > &I)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::comm_inverse1(const communication_expression_list &C, const multi_action_name_set &A)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::concat(const multi_action_name_set &A1, const multi_action_name_set &A2)
  
  

  

.. cpp:function:: bool mcrl2::process::alphabet_operations::concat_includes(const multi_action_name_set &A1, const multi_action_name_set &A2, const multi_action_name &alpha)
  
  

  

.. cpp:function:: bool mcrl2::process::alphabet_operations::contains(const multi_action_name &alpha, const core::identifier_string &a)
  
  

  

.. cpp:function:: bool mcrl2::process::alphabet_operations::contains(const multi_action_name_set &A, const multi_action_name &a)
  
  

  

.. cpp:function:: communication_expression_list mcrl2::process::alphabet_operations::filter_comm_set(const communication_expression_list &C, const multi_action_name_set &alphabet)
  
  

  

.. cpp:function:: multi_action_name mcrl2::process::alphabet_operations::hide(const multi_action_name &alpha, const std::set< core::identifier_string > &I)
  
  

  

.. cpp:function:: std::set<core::identifier_string> mcrl2::process::alphabet_operations::hide(const core::identifier_string_list &I, const std::set< core::identifier_string > &J)
  
  

  

.. cpp:function:: multi_action_name mcrl2::process::alphabet_operations::hide(const std::set< core::identifier_string > &I, const multi_action_name &alpha)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::hide(const IdentifierContainer &I, const multi_action_name_set &A, bool=false)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::hide_inverse(const core::identifier_string_list &I, const multi_action_name_set &A, bool A_includes_subsets=false)
  
  

  

.. cpp:function:: bool mcrl2::process::alphabet_operations::includes(const multi_action_name &x, const multi_action_name &y)
  
  

  

.. cpp:function:: bool mcrl2::process::alphabet_operations::includes(const multi_action_name_set &A, const multi_action_name &y)
  
  

  

.. cpp:function:: bool mcrl2::process::alphabet_operations::is_source(const rename_expression_list &R, const core::identifier_string &x)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::left_arrow(const multi_action_name_set &A1, bool A1_includes_subsets, const multi_action_name_set &A2)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::left_arrow1(const multi_action_name_set &A1, const multi_action_name_set &A2)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::left_arrow2(const multi_action_name_set &A, const std::set< core::identifier_string > &I, const multi_action_name_set &A2)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::left_merge(const multi_action_name_set &A1, const multi_action_name_set &A2)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::make_name_set(const action_name_multiset_list &v)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::merge(const multi_action_name_set &A1, const multi_action_name_set &A2)
  
  

  

.. cpp:function:: multi_action_name mcrl2::process::alphabet_operations::multiset_difference(const multi_action_name &alpha, const multi_action_name &beta)
  
  

  

.. cpp:function:: multi_action_name mcrl2::process::alphabet_operations::multiset_union(const multi_action_name &alpha, const multi_action_name &beta)
  
  

  

.. cpp:function:: std::string mcrl2::process::alphabet_operations::print_rename_inverse_map(const rename_inverse_map &m)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::remove_subsets(const multi_action_name_set &A)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::rename(const rename_expression_list &R, const multi_action_name_set &A, bool=false)
  
  Computes R(A) 

  

.. cpp:function:: rename_inverse_map mcrl2::process::alphabet_operations::rename_inverse(const rename_expression_list &R)
  
  

  

.. cpp:function:: std::set<core::identifier_string> mcrl2::process::alphabet_operations::rename_inverse(const rename_expression_list &R, const std::set< core::identifier_string > &I)
  
  

  

.. cpp:function:: void mcrl2::process::alphabet_operations::rename_inverse(const rename_inverse_map &Rinverse, const multi_action_name &x, bool x_includes_subsets, multi_action_name_set &result)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::rename_inverse(const rename_expression_list &R, const multi_action_name_set &A, bool A_includes_subsets=false)
  
  Computes R^[-1}(A) 

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::set_difference(const multi_action_name_set &A1, const multi_action_name_set &A2)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::set_intersection(const multi_action_name_set &A1, const multi_action_name_set &A2)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::set_union(const multi_action_name_set &A1, const multi_action_name_set &A2)
  
  

  

.. cpp:function:: bool mcrl2::process::alphabet_operations::subset_includes(const multi_action_name_set &A, const multi_action_name &x)
  
  

  

.. cpp:function:: multi_action_name_set mcrl2::process::alphabet_operations::sync(const multi_action_name_set &A1, const multi_action_name_set &A2)