mcrl2::data::lambda

Include file:

#include "mcrl2/data/lambda.h
class mcrl2::data::lambda

function symbol.

Public member functions

lambda()

Constructor.

lambda(const aterm &d)

Constructor.

Parameters:

  • d An aterm.

Pre: d is a lambda abstraction.

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.

lambda(const lambda&) noexcept = default

Move semantics.

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.

lambda(lambda&&) noexcept = default
lambda &operator=(const lambda&) noexcept = default
lambda &operator=(lambda&&) noexcept = default