mcrl2::data::basic_sort

Include file:

#include "mcrl2/data/basic_sort.h

class mcrl2::data::basic_sort

brief A basic sort

Public member functions

basic_sort()

brief Default constructor.

basic_sort(basic_sort&&) noexcept = default

basic_sort(const atermpp::aterm &term)

brief Constructor. param term A term

basic_sort(const basic_sort&) noexcept = default

Move semantics.

basic_sort(const core::identifier_string &name)

brief Constructor.

basic_sort(const std::string &name)

brief Constructor.

const core::identifier_string &name() const

basic_sort &operator=(basic_sort&&) noexcept = default

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