Include file:
#include "mcrl2/data/untyped_identifier.h
mcrl2::data::
untyped_identifier
¶An untyped identifier.
name
() constoperator=
(const untyped_identifier&) noexcept = default¶operator=
(untyped_identifier&&) noexcept = default¶untyped_identifier
()¶Default constructor.
untyped_identifier
(const core::identifier_string &name)¶Constructor.
untyped_identifier
(const std::string &name)¶Constructor.
untyped_identifier
(const untyped_identifier&) noexcept = default¶Move semantics.
untyped_identifier
(untyped_identifier&&) noexcept = default¶