Include file:
#include "mcrl2/data/function_sort.h
mcrl2::data::
function_sort
¶A function sort.
codomain
() const¶domain
() const¶function_sort
()¶Default constructor.
function_sort
(const Container &domain, const sort_expression &codomain, typename atermpp::enable_if_container<Container, sort_expression>::type * = nullptr)¶Constructor.
function_sort
(const function_sort&) noexcept = default¶Move semantics.
function_sort
(const sort_expression_list &domain, const sort_expression &codomain)¶Constructor.
function_sort
(function_sort&&) noexcept = default¶operator=
(const function_sort&) noexcept = default¶operator=
(function_sort&&) noexcept = default¶