mCRL2
Loading...
Searching...
No Matches
mcrl2::utilities::noncopyable Class Reference

Inherit from this class to prevent it from being copyable. More...

#include <noncopyable.h>

Inheritance diagram for mcrl2::utilities::noncopyable:
atermpp::detail::aterm_pool_storage< _aterm_int, aterm_int_hasher, aterm_int_equals, 0 > atermpp::detail::aterm_pool_storage< _aterm_appl< 1 >, aterm_hasher< DynamicNumberOfArguments >, aterm_equals< DynamicNumberOfArguments >, DynamicNumberOfArguments > mcrl2::utilities::memory_pool< T, 1024, false > atermpp::detail::_aterm atermpp::detail::_function_symbol atermpp::detail::aterm_container atermpp::detail::aterm_pool atermpp::detail::aterm_pool_storage< Element, Hash, Equals, N > atermpp::detail::function_symbol_pool atermpp::detail::thread_aterm_pool mcrl2::utilities::lock_guard mcrl2::utilities::memory_pool< T, ElementsPerBlock, ThreadSafe > mcrl2::utilities::shared_guard mcrl2::utilities::stack_array< T >

Public Member Functions

 noncopyable ()=default
 
 noncopyable (const noncopyable &)=delete
 
noncopyableoperator= (const noncopyable &)=delete
 

Detailed Description

Inherit from this class to prevent it from being copyable.

Declares the copy (assignment) constructors as deleted.

Definition at line 20 of file noncopyable.h.

Constructor & Destructor Documentation

◆ noncopyable() [1/2]

mcrl2::utilities::noncopyable::noncopyable ( )
default

◆ noncopyable() [2/2]

mcrl2::utilities::noncopyable::noncopyable ( const noncopyable )
delete

Member Function Documentation

◆ operator=()

noncopyable & mcrl2::utilities::noncopyable::operator= ( const noncopyable )
delete

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