mCRL2
Loading...
Searching...
No Matches
noncopyable.h
Go to the documentation of this file.
1// Author(s): Maurice Laveaux
2// Copyright: see the accompanying file COPYING or copy at
3// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
4//
5// Distributed under the Boost Software License, Version 1.0.
6// (See accompanying file LICENSE_1_0.txt or copy at
7// http://www.boost.org/LICENSE_1_0.txt)
8//
9
10#ifndef MCRL2_UTILITIES_NONCOPYABLE_H_
11#define MCRL2_UTILITIES_NONCOPYABLE_H_
12
13namespace mcrl2
14{
15namespace utilities
16{
17
21{
22public:
23 noncopyable() = default;
24 noncopyable(const noncopyable&) = delete;
26};
27
28}
29}
30
31#endif // MCRL2_UTILITIES_NONCOPYABLE_H_
Inherit from this class to prevent it from being copyable.
Definition noncopyable.h:21
noncopyable & operator=(const noncopyable &)=delete
noncopyable(const noncopyable &)=delete
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Definition indexed_set.h:72