mCRL2
|
This is an array in which it is recorded which arguments are normal forms and which are not. More...
Go to the source code of this file.
Classes | |
class | mcrl2::data::detail::nfs_array |
Namespaces | |
namespace | mcrl2 |
A class that takes a linear process specification and checks all tau-summands of that LPS for confluence. | |
namespace | mcrl2::data |
Namespace for all data library functionality. | |
namespace | mcrl2::data::detail |
This is an array in which it is recorded which arguments are normal forms and which are not.
Definition in file nfs_array.h.