Include file:
#include "mcrl2/data/structured_sort_constructor_argument.h
mcrl2::data::
structured_sort_constructor_argument
¶brief An argument of a constructor of a structured sort
name
() constoperator=
(const structured_sort_constructor_argument&) noexcept = default¶operator=
(structured_sort_constructor_argument&&) noexcept = default¶sort
() conststructured_sort_constructor_argument
()¶brief Default constructor.
structured_sort_constructor_argument
(const atermpp::aterm &term)¶brief Constructor. param term A term
structured_sort_constructor_argument
(const char (&name)[S], const sort_expression &sort)¶structured_sort_constructor_argument
(const core::identifier_string &name, const sort_expression &sort)¶brief Constructor.
structured_sort_constructor_argument
(const sort_expression &sort)¶Constructor.
Parameters:
structured_sort_constructor_argument
(const std::string &name, const sort_expression &sort)¶brief Constructor.
structured_sort_constructor_argument
(const structured_sort_constructor_argument&) noexcept = default¶Move semantics.
structured_sort_constructor_argument
(structured_sort_constructor_argument&&) noexcept = default¶