mcrl2::core::detail::singleton_identifier< Derived > Struct Template Reference

#include <construction_utility.h>

Inheritance diagram for mcrl2::core::detail::singleton_identifier< Derived >:

Additional Inherited Members
Public Member Functions inherited from mcrl2::core::detail::singleton_expression< Derived, core::identifier_string >
	singleton_expression (const singleton_expression &)=delete
	singleton_expression (singleton_expression &&)=delete
singleton_expression &	operator= (const singleton_expression &)=delete
singleton_expression &	operator= (singleton_expression &&)=delete
Static Public Member Functions inherited from mcrl2::core::detail::singleton_expression< Derived, core::identifier_string >
static const core::identifier_string &	instance ()
Protected Member Functions inherited from mcrl2::core::detail::singleton_expression< Derived, core::identifier_string >
	singleton_expression ()

Detailed Description

template<typename Derived>
struct mcrl2::core::detail::singleton_identifier< Derived >

Definition at line 45 of file construction_utility.h.

---

The documentation for this struct was generated from the following file:

• core/include/mcrl2/core/detail/construction_utility.h