mcrl2::data::lambda
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/data/lambda.h

.. cpp:class:: mcrl2::data::lambda

  function symbol. 

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: lambda()
  
  Constructor. 

  

.. cpp:function:: lambda(const aterm &d)
  
  

  Constructor.
  
  **Parameters:**

  * **d** An aterm. 


      
  **Pre:** d is a lambda abstraction. 

.. cpp:function:: lambda(const variable &variable, const data_expression &body)
  
  

  Constructor.
  
  **Parameters:**

  * **variable** A nonempty list of binding variables. 

  * **body** The body of the lambda abstraction. 


      
  **Pre:** variables is not empty. 

.. cpp:function:: lambda(const Container &variables, const data_expression &body, typename atermpp::enable_if_container< Container, variable >::type *=nullptr)
  
  

  Constructor.
  
  **Parameters:**

  * **variables** A nonempty list of binding variables (objects of type variable). 

  * **body** The body of the lambda abstraction. 


      
  **Pre:** variables is not empty. 

.. cpp:function:: lambda(const lambda &) noexcept=default
  
  Move semantics. 

  

.. cpp:function:: lambda(lambda &&) noexcept=default
  
  

  

.. cpp:function:: lambda& operator=(const lambda &) noexcept=default
  
  

  

.. cpp:function:: lambda& operator=(lambda &&) noexcept=default