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 atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
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