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