mcrl2::data::untyped_sort

Include file:

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

Unknown sort expression.

Public member functions

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

Default constructor.

untyped_sort(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
untyped_sort(const untyped_sort&) noexcept = default

Move semantics.

untyped_sort(untyped_sort&&) noexcept = default