mcrl2::data::untyped_sort

Include file:

#include "mcrl2/data/untyped_sort.h

class mcrl2::data::untyped_sort

brief Unknown sort expression

Public member functions

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

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

untyped_sort()

brief Default constructor.

untyped_sort(const atermpp::aterm &term)

brief Constructor. param term A term

untyped_sort(const untyped_sort&) noexcept = default

Move semantics.

untyped_sort(untyped_sort&&) noexcept = default