.. _identifier_string.h:
  
mcrl2/core/identifier_string.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/core/identifier_string.h"

aterm representations of identifier strings. 




Classes
-------

* :cpp:class:`std::hash< mcrl2::core::identifier_string >`

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

.. cpp:type:: mcrl2::core::identifier_string

  typedef for :cpp:type:`atermpp::aterm_string`
  
  String type of the LPS library. Identifier strings are represented internally as ATerms. 

  

.. cpp:type:: mcrl2::core::identifier_string_list

  typedef for :cpp:type:`atermpp::term_list\< identifier_string >`
  
  list of identifier_strings 

  

.. cpp:type:: mcrl2::core::identifier_string_vector

  typedef for :cpp:type:`std::vector\< identifier_string >`
  
  vector of identifier_strings 

  

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

.. cpp:function:: identifier_string mcrl2::core::empty_identifier_string()
  
  Provides the empty identifier string. 

  
      
  **Returns:** The empty identifier string. 

.. cpp:function:: bool mcrl2::core::is_identifier_string(const atermpp::aterm &t)
  
  Tests if a term is an identifier string. 

  
  
  **Parameters:**

  * **t** A term 


      
  **Returns:** Whether t is an identifier string. 

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

  
  
  **Parameters:**

  * **out** An output stream 

  * **x** Object x 


      
  **Returns:** The output stream 

.. cpp:function:: void mcrl2::core::swap(identifier_string &t1, identifier_string &t2)
  
  swap overload