mcrl2::core::detail::singleton_expression< Derived, Expression > Class Template Reference

#include <construction_utility.h>

Public Member Functions
	singleton_expression (const singleton_expression &)=delete
singleton_expression &	operator= (const singleton_expression &)=delete
	singleton_expression (singleton_expression &&)=delete
singleton_expression &	operator= (singleton_expression &&)=delete

Static Public Member Functions
static const Expression &	instance ()

Protected Member Functions
	singleton_expression ()

Detailed Description

template<typename Derived, typename Expression = atermpp::aterm>
class mcrl2::core::detail::singleton_expression< Derived, Expression >

Definition at line 26 of file construction_utility.h.

Constructor & Destructor Documentation

singleton_expression() [1/3]

template<typename Derived , typename Expression = atermpp::aterm>

mcrl2::core::detail::singleton_expression< Derived, Expression >::singleton_expression ( const singleton_expression< Derived, Expression > &  )

delete

singleton_expression() [2/3]

template<typename Derived , typename Expression = atermpp::aterm>

mcrl2::core::detail::singleton_expression< Derived, Expression >::singleton_expression ( singleton_expression< Derived, Expression > &&  )

delete

singleton_expression() [3/3]

template<typename Derived , typename Expression = atermpp::aterm>

mcrl2::core::detail::singleton_expression< Derived, Expression >::singleton_expression ( )

inlineprotected

Definition at line 41 of file construction_utility.h.

Member Function Documentation

instance()

template<typename Derived , typename Expression = atermpp::aterm>

static const Expression & mcrl2::core::detail::singleton_expression< Derived, Expression >::instance ( )

inlinestatic

Definition at line 29 of file construction_utility.h.

operator=() [1/2]

template<typename Derived , typename Expression = atermpp::aterm>

singleton_expression & mcrl2::core::detail::singleton_expression< Derived, Expression >::operator= ( const singleton_expression< Derived, Expression > &  )

delete

operator=() [2/2]

template<typename Derived , typename Expression = atermpp::aterm>

singleton_expression & mcrl2::core::detail::singleton_expression< Derived, Expression >::operator= ( singleton_expression< Derived, Expression > &&  )

delete

---

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

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