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