.. _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