mcrl2::data::basic_sort

Include file:

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

A basic sort.

Public member functions

basic_sort()

Default constructor.

basic_sort(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
basic_sort(const core::identifier_string &name)

Constructor.

basic_sort(const std::string &name)

Constructor.

basic_sort(const basic_sort&) noexcept = default

Move semantics.

basic_sort(basic_sort&&) noexcept = default
const core::identifier_string &name() const
basic_sort &operator=(const basic_sort&) noexcept = default
basic_sort &operator=(basic_sort&&) noexcept = default