.. _function_symbol.h:
  
mcrl2/data/function_symbol.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/data/function_symbol.h"

The class function symbol. 




Classes
-------

* :cpp:class:`mcrl2::data::function_symbol`

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

.. cpp:type:: mcrl2::data::function_symbol_key_type

  typedef for :cpp:type:`std::pair\< atermpp::aterm, atermpp::aterm >`
  
  

  

.. cpp:type:: mcrl2::data::function_symbol_list

  typedef for :cpp:type:`atermpp::term_list\< function_symbol >`
  
  list of function_symbols 

  

.. cpp:type:: mcrl2::data::function_symbol_vector

  typedef for :cpp:type:`std::vector\< function_symbol >`
  
  vector of function_symbols 

  

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

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

  
  
  **Parameters:**

  * **out** An output stream 

  * **x** Object x 


      
  **Returns:** The output stream 

.. cpp:function:: void mcrl2::data::swap(function_symbol &t1, function_symbol &t2)
  
  swap overload