Include file:
#include "mcrl2/utilities/noncopyable.h
mcrl2::utilities::
noncopyable
¶Inherit from this class to prevent it from being copyable.
Declares the copy (assignment) constructors as deleted.
noncopyable
() = default¶noncopyable
(const noncopyable&) = delete¶operator=
(const noncopyable&) = delete¶