mcrl2::data::function_sort¶
Include file:
#include "mcrl2/data/function_sort.h
-
class
mcrl2::data::function_sort¶ A function sort.
Public member functions¶
-
const sort_expression &
codomain() const¶
-
const sort_expression_list &
domain() const¶
-
function_sort()¶ Default constructor.
-
function_sort(const sort_expression_list &domain, const sort_expression &codomain)¶ 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(function_sort&&) noexcept = default¶
-
function_sort &
operator=(const function_sort&) noexcept = default¶
-
function_sort &
operator=(function_sort&&) noexcept = default¶
