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