.. _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\< core::identifier_string, sort_expression >`
  
  

  

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

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

  

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

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

  

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

.. cpp:function:: void mcrl2::data::make_function_symbol(atermpp::aterm_appl &t, const ARGUMENTS &... args)
  
  

  \brief Make_function_symbol constructs a new term into a given address. \
  
  **Parameters:**

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



.. cpp:function:: std::ostream& mcrl2::data::operator<<(std::ostream &out, const function_symbol &x)
  
  

  \brief Outputs the object to a stream \param out An output stream \param x Object x \return The output stream 

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