.. _alias.h:
  
mcrl2/data/alias.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/data/alias.h"

The class alias. 




Classes
-------

* :cpp:class:`mcrl2::data::alias`

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

.. cpp:type:: mcrl2::data::alias_list

  typedef for :cpp:type:`atermpp::term_list\< alias >`
  
  \brief list of aliass 

  

.. cpp:type:: mcrl2::data::alias_vector

  typedef for :cpp:type:`std::vector\< alias >`
  
  \brief vector of aliass 

  

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

.. cpp:function:: bool mcrl2::data::is_alias(const atermpp::aterm_appl &x)
  
  

  \brief Test for a alias expression \param x A term \return True if \a x is a alias expression 

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

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

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



.. cpp:function:: std::ostream& mcrl2::data::operator<<(std::ostream &out, const alias &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(alias &t1, alias &t2)
  
  \brief swap overload