10#ifndef MCRL2_UTILITIES_NONCOPYABLE_H_
11#define MCRL2_UTILITIES_NONCOPYABLE_H_
Inherit from this class to prevent it from being copyable.
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...