mcrl2::data::function_symbol

Include file:

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

A function symbol.

Public member functions

function_symbol(const function_symbol&) noexcept = default

Move semantics.

function_symbol(function_symbol&&) noexcept = default
function_symbol()

Default constructor.

function_symbol(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
function_symbol(const core::identifier_string &name, const sort_expression &sort)

Constructor.

function_symbol(const std::string &name, const sort_expression &sort)

Constructor.

const core::identifier_string &name() const
function_symbol &operator=(const function_symbol&) noexcept = default
function_symbol &operator=(function_symbol&&) noexcept = default
const sort_expression &sort() const