.. _process_identifier.h:
  
mcrl2/process/process_identifier.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/process/process_identifier.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::process::process_identifier`

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

.. cpp:type:: mcrl2::process::process_identifier_key_type

  typedef for :cpp:type:`std::pair\< core::identifier_string, data::variable_list >`
  
  

  

.. cpp:type:: mcrl2::process::process_identifier_list

  typedef for :cpp:type:`atermpp::term_list\< process_identifier >`
  
  list of process_identifiers 

  

.. cpp:type:: mcrl2::process::process_identifier_vector

  typedef for :cpp:type:`std::vector\< process_identifier >`
  
  vector of process_identifiers 

  

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

.. cpp:function:: bool mcrl2::process::is_process_identifier(const atermpp::aterm_appl &x)
  
  Test for a process_identifier expression. 

  
  
  **Parameters:**

  * **x** A term 


      
  **Returns:** True if x is a process_identifier expression 

.. cpp:function:: void mcrl2::process::make_process_identifier(atermpp::aterm_appl &t, const ARGUMENTS &... args)
  
  Make_process_identifier constructs a new term into a given address. . 

  
  
  **Parameters:**

  * **t** The reference into which the new process_identifier is constructed. 



.. cpp:function:: void mcrl2::process::normalize_sorts(process_identifier_vector &x, const data::sort_specification &sortspec)
  
  

  

.. cpp:function:: std::ostream& mcrl2::process::operator<<(std::ostream &out, const process_identifier &x)
  
  Outputs the object to a stream. 

  
  
  **Parameters:**

  * **out** An output stream 

  * **x** Object x 


      
  **Returns:** The output stream 

.. cpp:function:: std::string pp(const process_identifier &x)
  
  

  

.. cpp:function:: std::string pp(const process_identifier_list &x)
  
  

  

.. cpp:function:: std::string pp(const process_identifier_vector &x)
  
  

  

.. cpp:function:: void mcrl2::process::swap(process_identifier &t1, process_identifier &t2)
  
  swap overload