mcrl2::utilities::noncopyable

Include file:

#include "mcrl2/utilities/noncopyable.h
class mcrl2::utilities::noncopyable

Inherit from this class to prevent it from being copyable.

Declares the copy (assignment) constructors as deleted.

Public member functions

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