Include file:
#include "mcrl2/data/untyped_sort_variable.h
mcrl2::data::
untyped_sort_variable
¶Untyped sort variable.
operator=
(const untyped_sort_variable&) noexcept = default¶operator=
(untyped_sort_variable&&) noexcept = default¶untyped_sort_variable
()¶Default constructor.
untyped_sort_variable
(const untyped_sort_variable&) noexcept = default¶Move semantics.
untyped_sort_variable
(std::size_t value)¶Constructor.
untyped_sort_variable
(untyped_sort_variable&&) noexcept = default¶value
() const