.. _container_sort.h:
  
mcrl2/data/container_sort.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/data/container_sort.h"

The class container_sort. 




Classes
-------

* :cpp:class:`mcrl2::data::container_sort`

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

.. cpp:type:: mcrl2::data::container_sort_list

  typedef for :cpp:type:`atermpp::term_list\< container_sort >`
  
  list of function sorts 

  

.. cpp:type:: mcrl2::data::container_sort_vector

  typedef for :cpp:type:`std::vector\< container_sort >`
  
  list of function sorts 

  

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

.. cpp:function:: void mcrl2::data::make_container_sort(atermpp::aterm_appl &t, const ARGUMENTS &... args)
  
  Make_container_sort constructs a new term into a given address. . 

  
  
  **Parameters:**

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



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

  
  
  **Parameters:**

  * **out** An output stream 

  * **x** Object x 


      
  **Returns:** The output stream 

.. cpp:function:: std::string pp(const container_sort &x)
  
  

  

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