mcrl2::data::structured_sort_constructor_argument

Include file:

#include "mcrl2/data/structured_sort_constructor_argument.h

class mcrl2::data::structured_sort_constructor_argument

An argument of a constructor of a structured sort.

Public member functions

const core::identifier_string &name() const

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

structured_sort_constructor_argument &operator=(structured_sort_constructor_argument&&) noexcept = default

const sort_expression &sort() const

structured_sort_constructor_argument()

Default constructor.

structured_sort_constructor_argument(const atermpp::aterm &term)

Constructor.

Parameters:

• term A term

structured_sort_constructor_argument(const core::identifier_string &name, const sort_expression &sort)

Constructor.

structured_sort_constructor_argument(const std::string &name, const sort_expression &sort)

Constructor.

structured_sort_constructor_argument(const structured_sort_constructor_argument&) noexcept = default

Move semantics.

structured_sort_constructor_argument(structured_sort_constructor_argument&&) noexcept = default

structured_sort_constructor_argument(const sort_expression &sort)

Constructor.

Parameters:

• sort The sort of the argument.

structured_sort_constructor_argument(const char (&name)[S], const sort_expression &sort)

Constructor.

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.