mcrl2::data::abstraction

Include file:

#include "mcrl2/data/abstraction.h

class mcrl2::data::abstraction

An abstraction expression.

Public member functions

abstraction()

Default constructor.

abstraction(abstraction&&) noexcept = default

abstraction(const abstraction&) noexcept = default

Move semantics.

abstraction(const atermpp::aterm &term)

Constructor.

Parameters:

• term A term

abstraction(const binder_type &binding_operator, const Container &variables, const data_expression &body, typename atermpp::enable_if_container<Container, variable>::type * = nullptr)

Constructor.

abstraction(const binder_type &binding_operator, const variable_list &variables, const data_expression &body)

Constructor.

const binder_type &binding_operator() const

const data_expression &body() const

abstraction &operator=(abstraction&&) noexcept = default

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

const variable_list &variables() const