mcrl2::data::function_sort

Include file:

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

brief A function sort

Public member functions

const sort_expression &codomain() const
const sort_expression_list &domain() const
function_sort()

brief Default constructor.

function_sort(const atermpp::aterm &term)

brief Constructor. param term A term

function_sort(const Container &domain, const sort_expression &codomain, typename atermpp::enable_if_container<Container, sort_expression>::type * = nullptr)

brief Constructor.

function_sort(const function_sort&) noexcept = default

Move semantics.

function_sort(const sort_expression_list &domain, const sort_expression &codomain)

brief Constructor.

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