mcrl2::data::untyped_data_parameter

Include file:

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

An untyped parameter.

Public member functions

const data_expression_list &arguments() const
const core::identifier_string &name() const
untyped_data_parameter &operator=(const untyped_data_parameter&) noexcept = default
untyped_data_parameter &operator=(untyped_data_parameter&&) noexcept = default
untyped_data_parameter()

Default constructor.

untyped_data_parameter(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

untyped_data_parameter(const core::identifier_string &name, const data_expression_list &arguments)

Constructor.

untyped_data_parameter(const std::string &name, const data_expression_list &arguments)

Constructor.

untyped_data_parameter(const untyped_data_parameter&) noexcept = default

Move semantics.

untyped_data_parameter(untyped_data_parameter&&) noexcept = default