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